Journals Higher Education
Important OUP's Response to COVID-19 Learn more



Published: 10 December 1998

296 Pages

ISBN: 9780198501275

Also Available As:


Also Available In:

Bookseller Code (06)

Twenty-Five Years of Constructive Type Theory

Proceedings of a Congress held in Venice, October 1995

Giovanni Sambin and Jan M. Smith

A Clarendon Press Publication

Oxford Logic Guides