Categories, Types, and Structures (1991)

by A Asperti, G Longo