Categories, Types, and Structures. Foundations of Computing Series (1991)

by A Asperti, G Longo