[Alta-Logic] peripatetic seminar

[Jonathan Gallagher]

Greetings,

We are having a peripatetic seminar, tomorrow, February 3, at 12:30 in ICT
616.

Title: On Sound and Complete Models of the Lambda Calculus
Abstract: We will show that Turing
categories with an additional property are sound and complete
models of the untyped lambda calculus. We will show that the
idempotent splitting of such a Turing category is a Cartesian
closed category with a reflexive object.  Extensions may be considered.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160202/3ef6dc90/attachment.html