Computer Laboratory Course material 2009–10

Additional Topics Advanced Category Theory in Computer Science Advanced Computer Design Advanced Graphics Advanced Systems Topics Advanced Topics in Computer Systems Advanced Topics in Concurrency Advanced Topics in Programming Languages Algorithms I Algorithms II An Algebraic Approach to Internet Routing Artificial Intelligence I Artificial Intelligence II Automated Reasoning Basic Rewriting Theory Bioinformatics 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 Graphics and Image Processing Computer Vision Concepts in Programming Languages Concurrent and Distributed Systems Databases Denotational Semantics Information for supervisors Digital Communication I Digital Communication II Digital Electronics Digital Signal Processing Discrete Mathematics I Discrete Mathematics II Distributed Systems E-Commerce ECAD Labs » Computer Laboratory – Course material 2009–10: Economics and Law Floating-Point Computation Foundations of Computer Science Further Java Group Project Group Project Briefing Hardware Practical Classes How to Study Computer Science Human-Computer Interaction Information Retrieval Information Theory and Coding Innovative user interfaces Interactive Formal Verification Introduction to Security Introductory Logic Logic and Proof Low Power Embedded Systems Programming Mathematical Methods for Computer Science Natural Language Processing Network Architecture Object-Oriented Programming Operating Systems Optimising Compilers Part IB Assessed Exercise Briefing Probability Professional Practice and Ethics Programming in C and C++ Programming in Java Prolog Quantum Computing Registration Regular Languages and Finite Automata Research Methods » Computer Laboratory – Course material 2009–10: Current Research Topics Security Semantics of HOT Languages Semantics of Programming Languages Set Theory for Computer Science Software Design Software Engineering Software Verification Specification and Verification I Specification and Verification II System on Chip Design and Modelling System-on-Chip Design and Modelling (Part II) Topics in Concurrency Topics in Logic and Complexity Topics in Security: Forensic Signal Analysis Types Unix Tools

Denotational Semantics 2009–10 Principal lecturer: Dr Marcelo Fiore Taken by: Part II 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   Feedback Please provide feedback through the online lecture course feedback form.

© 2009 Computer Laboratory, University of Cambridge
Please send any comments on this page to Dr Marcelo Fiore