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

View PDF

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:6 - 1 self