Lambda-calculus, pure and with types

Thu, Jan 29, 2015 12:15 pm to 1:30 pm

This event is from the archives of The Notice Board. The event has already taken place and the information contained in this post may no longer be relevant or accurate.

This talk will be an introduction to the pure and typed lambda-calculus. It will constitute an introduction to the talks by Fairouz Kamareddine on February 2 and Feb 5, 2015.

Room or Area:

D633

UH - University Hall

Colloquium

Math and Computer Sciences

Campus Community