A Dependent Type Theory with Names and Binding (2004)

by Ulrich Schöpp , Ian Stark
Venue:In Proceedings of the 2004 Computer Science Logic Conference, number 3210 in Lecture notes in Computer Science
Citations:15 - 1 self