Jan M. Smith profile picture

Jan M. Smith

Is this your author profile? Create an account to claim and customize it!

Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995
Programming in Martin-Löf's Type Theory: An Introduction
Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Proceedings (Lecture Notes in Computer Science)
Hey Diddle Diddle