ECC: An extended Calculus of Constructions (0)

by Z Luo
Venue:Proc. of the fourth ann. symp. on Logic in Comp. Science, Asilomar, Cal. IEEE