Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

Regular Talk:
The Key to the Universe, Part 2

Speaker: Robert K Meyer
Slot: Sat, 17:40-18:00, Faraday D (col. 3)

Abstract

The key to the universe is the magnificent accord between Curry-style
combinators and matching relational postulates for the semantics of a
wide range of logics. This key works most impressively in the filter
models of lambda calculus in intersection type theory developed with
Barendregt by Coppo, Dezani and the Torino school. I examine in the
present talk the degree to which the further logical modelling of
Boolean complementation can be added to this picture.


websites: Arnold Beckmann 2006-05-02 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by www.free-counters.net