tania andrew

Jan M. Smith

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 (Oxford Logic Guides Book 36)
Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)

See All