Ian Orton

Name:	Ian Orton
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	20 Nov 2018, 12:34 p.m.

Public lists managed by Ian Orton

Talks given by Ian Orton

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

• Dependent type theory and the univalence axiom
• Verified Programming in Agda
• Presheaf models of type theory
• Cubical Type Theory
• Topoi, or not topoi, that is the question
• Categorical models of dependent types

Talks organised by Ian Orton

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Ian Orton actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.

• iCAP-TSO, a program logic for the TSO relaxed memory model
• Asynchronous Fixed Points
• Weighted relational semantics for PCF
• Coherence Spaces
• Datatypes as algebras
• Presheaf models of type theory
• On normalization for the typed λ-calculus
• Cylindrical decomposition : a way to solve 1st order logic of the real numbers
• The lambda calculus as an initial monad
• Event structures for dummies
• Cubical Type Theory
• PCF: keeping it real
• Profunctors and coends
• Stone Duality
• Topoi, or not topoi, that is the question
• Finding our way around routing algebras
• Open maps and their uses in concurrency models
• Linear Logic
• Everything's a Kan extension
• Categorical models of dependent types