A Proof-Theoretical Investigation of Zantema's Problem (1998)

Cached

Download Links

by Thierry Coquand , Henrik Persson
Venue:In M. Nielsen and W. Thomas (Eds.), Proc. 11th Annual Conf. of the EACSL CSL-97, Lecture Notes in Comput. Sci