Logic Seminar

Abhishek AnandCornell University
Introduction to Martin-Löf type theory, part II

Wednesday, January 28, 2015 - 4:00pm
Malott 206