University of Cambridge > Talks.cam > Logic & Semantics for Dummies > PCF: keeping it real

PCF: keeping it real

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity