Twenty-Five Years of Constructive Type Theory
Subtitle: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides)
Series: Oxford Logic Guides
Publisher: Oxford University Press, USA
Published: November 13, 1998
Language: eng
Number of pages: 292
ISBN-13: 9780198501275
First sentence: The aim of this paper is to provide a way of extracting the constructive content of a certain family of classical proofs directly from the proofs themselves.