A categorical semantics of Constructions (1988)

by Ehrhard
Venue:In 3rd Annual Symposium on Logic in Computer Science