Constructivization via Approximations and Examples, Theories of Types and Proofs (1998)

by S Baratella, S Berardi
Venue:MSJ Memories 2