P.: “Variants of the Basic Calculus of Constructions (0)

by M Bunder, J Seldin
Venue:Journal of Applied Logic