1988] "A Categorical Semantics of Constructions (0)

by T Ehrhard
Venue:Proceedings of L. I. C. S