A Type-Free Formalization of Mathematics Where Proofs Are Objects (1996)

Cached

Download Links

by Gilles Dowek