A Dependent Type Theory with Names and Binding (2004)

by Ulrich Schöpp, Ian Stark
Venue:In CSL