A construction of Type:Type in Martin-Löf's partial type theory with one universe (0)

Cached

Download Links

by Erik Palmgren
Citations:1 - 0 self