PCF: keeping it real

Add to your list(s) Download to your calendar using vCal

• Hugo Paquet (University of Cambridge)
• Friday 22 April 2016, 11:15-12:15
• Rainbow Room (FS07), Computer Laboratory.

If you have a question about this talk, please contact Ian Orton.

This talk is about Real PCF , an extension of the language PCF with real numbers. Adding a type for real numbers is not like adding any other ground type: the real line is not computable, so we can’t just add a constant for every real number.

It is helpful to first think about the denotational semantics of the language. The domain of “partial real numbers”, which I’ll introduce, has nice mathematical properties and suggests a solution for giving syntax and operational semantics to Real PCF .

This is mostly work by Martin Escardo – I’ll start with the necessary notions on domain theory and PCF .

This talk is part of the Logic & Semantics for Dummies series.

This talk is included in these lists:

• Logic & Semantics for Dummies
• Rainbow Room (FS07), Computer Laboratory
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.