A Dependent Type Theory with Names and Binding.

Ulrich Schpp, Ian Stark

Browse the full CSL paper archive.