Proof theoretical strength of Martin-Löf Type Theory with W-type and one universe (1993)

Cached

Download Links

by Anton Setzer
Citations:24 - 14 self