Skip to content
|
Access key help
Search
Advanced search
A–Z
Contact us
Computer Laboratory
Computer Laboratory
Teaching
Course material 2010–11
Denotational Semantics
Advanced Category Theory in Computer Science
Advanced Computer Design
Advanced Data Flow Analysis
Advanced Graphics
Advanced Speech Technology
Advanced Topics in Computer Systems
Advanced Topics in Concurrency
Algorithms I
Algorithms II
An Algebraic Approach to Internet Routing
Artificial Intelligence I
Artificial Intelligence II
Building an Internet Router
Business Studies
Categorical Logic
Category Theory for Computer Science
Chip Multiprocessors
Comparative Architectures
Compiler Construction
Complexity Theory
Computation Theory
Computer Design
Computer Fundamentals
Computer Graphics and Image Processing
Computer Networking
Computer Systems Modelling
Computer Vision
Concepts in Programming Languages
Concurrent and Distributed Systems I
Concurrent and Distributed Systems II
Data Centric Networking
Databases
Deep Language Modelling
Denotational Semantics
Denotational Semantics
Digital Electronics
Digital Signal Processing
Discrete Mathematics I
Discrete Mathematics II
E-Commerce
ECAD Labs
Economics and Law
Floating-Point Computation
Flows in Networks
Foundations of Computer Science
Further Java
Further Java Briefing
Hardware Practical Classes
Hoare Logic
Human-Computer Interaction
Information Retrieval
Innovative user interfaces
Interactive Formal Verification
Introduction to Natural Language Processing
Introductory Logic
Lexical Semantics and Discourse Processing
Logic and Proof
Low Power Embedded Systems Programming
Machine Learning for Language Processing
Mathematical Methods for Computer Science
Mobile and Sensor Systems
Multicore Programming
Natural Language Processing
Network Architecture
Object-Oriented Programming
Operating Systems
Optimising Compilers
Principles of Communication
Probability
Programming Logics and Software Verification
Programming for Mobiles
Programming in C and C++
Programming in Java
Prolog
Registration
Regular Languages and Finite Automata
Research Methods
Current Research Topics
Security I
Security II
Semantics of Programming Languages
Set Theory for Computer Science
Social and Technological Network Analysis
Software Design
Software Engineering
Spoken Language Processing
Statistical Machine Translation
Syntax and Semantics of Natural Language
System on Chip Design and Modelling
System-on-Chip Design
Temporal Logic and Model Checking
Topical Issues
Topics in Concurrency
Topics in Logic and Complexity
Topics in Security: Forensic Signal Analysis
Types
Unix Tools
Usability of Programming Languages
Course material 2010–11
Denotational Semantics
Lecturer:
Dr Marcelo Fiore
Taken by:
MPhil ACS
Syllabus
Past exam questions
Lecture notes
Lecture slides
Part I
Introduction
---
Denotational semantics of IMP in SML
Least Fixed Points
---
Typed call-by-value fix in SML
Constructions on Domains
Scott Induction
Part II
PCF
Denotational Semantics of PCF
Relating Denotational and Operational Semantics
Full Abstraction
Transparencies
Lecture 1
(12.X)
Lecture 2
(14.X)
Lecture 3
(19.X)
Lecture 4
(21.X)
Lecture 5
(26.X)
Lecture 6
(28.X)
Lecture 7
(2.XI)
Lecture 8
(4.XI)
Lecture 9
(9.XI)
Lecture 10
(11.XI)
Lecture 11
(16.XI)
Feedback
Please provide feedback through the online lecture course feedback form.
© 2010 Computer Laboratory, University of Cambridge
Information provided by
Dr Marcelo Fiore