![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Friday 22 April 2016, 11:15-12:15
PCF: keeping it real
- đ¤ Speaker: Hugo Paquet (University of Cambridge)
- đ Date & Time: Friday 22 April 2016, 11:15 - 12:15
- đ Venue: Rainbow Room (FS07), Computer Laboratory
Questions? Contact
Ian Orton
Abstract
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 .
Series This talk is part of the Logic & Semantics for Dummies series.
Included in Lists
- Logic & Semantics for Dummies
- Rainbow Room (FS07), Computer Laboratory
- tcw57âs list
- yk373's list
Note: Ex-directory lists are not shown.