2015 seminar talk: Lambda-Calculus and Dependent Type Theory

Talk held by Dana S. Scott (Carnegie Mellon University, Pittsburgh, Pennsylvania, USA and UC Berkeley, California, USA) at the KGRC seminar on 2015-07-02.


The speaker has a favorite lambda-calculus model, as he will explain, but he could start with any model and graft on dependent types using partial equivalence relations. The scheme is very simple and leads to a number of good, but elementary exercises in logic. He wishes he had thought of it many years ago.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.