A comprehensive index of philosophy book reviews

Reviews matching “Programming in Martin-Löf's type theory. An introduction”

1 result

BookAuthorReviewerJournalDate
Programming in Martin-Löf's type theory. An introduction Bengt Nordström, Kent Petersson, and Jan M. Smith John C. Mitchell The Journal of Symbolic Logic 1992

Open this search with filters