Categories of embeddings (1989)

by T Coquand
Venue:Theoretical Computer Science