ICE-TCS Lectures Series - Matteo Cimini - From lambda to pi: semantics preserving encoding
On Friday, February 13th, Matteo Cimini (Reykjavik University) delivers an ICE-TCS seminar. The talk is entitled From lambda to pi: semantics preserving encoding and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1).
An abstract for the seminar is available here.
