Categories Types and Structures (1991)

by A Asperti, G Longo