Jan M. Smith profile picture

Jan M. Smith

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

Stand Alone

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 (International Series of Monographs on Computer Science)