The Strength of the Subset Type in Martin-Löf's Type Theory (1988)

View PDF

Download Links

by Anne Salvesen , Jan M. Smith
Venue:In Third Annual Symposium on Logic in Computer Science
Citations:11 - 1 self