On the role of type decorations in the Calculus of Inductive Constructions (2005)

Cached

Download Links

by Bruno Barras , Benjamin Gregoire
Venue:Proceedings of the 19th Annual Conference of the European Association for Computer Science Logic, volume 3634 of Lecture Notes in Computer Science
Citations:4 - 0 self