Representing Inductively Defined Sets by Wellorderings in Martin-Löf's Type Theory (1996)

Cached

Download Links

by Peter Dybjer
Citations:15 - 0 self