Categories, Types and Structures (1991)

by Andrea Asperti, Giuseppe Longo