Jan M. Smith

Identifiers

Open LibraryOL2667370A

Top Subjects

Mathematics (1)

Books by Jan M. Smith

Total count: 2

Twenty Five Years of Constructive Type Theory

Oxford University Press, Incorporated1998-01-01
Twenty-Five Years of Constructive Type TheoryProceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides)

Oxford University Press, USA1998-11-13