Inductive Sets and Families in Martin-Löf's Type Theory and Their Set-Theoretic Semantics (1991)

Cached

Download Links

by Peter Dybjer
Venue:Logical Frameworks
Citations:76 - 13 self