[Alta-Logic] talk tomorrow

Tue Jan 26 13:06:30 MST 2016

Location and Time: ICT 616.  Wednesday January 27 at 12:30 pm

Title: Reflexive Objects in Cartesian Closed (Differential) Categories.

Abstract: We begin by reviewing the sound and complete model of the untyped
lambda calculus -- a cartesian closed category with a reflexive object.  We
then show how to extend this to additive and differential (if time permits)
variants of the lambda calculus.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20160126/44fff054/attachment.html