Constructive semantics of Univalence Dependent type theory Γ, ∆ - Type theory - Document - PDFSEARCH.IO

First Page	Meta Content
	Constructive semantics of Univalence Dependent type theory Γ, ∆ Add to Reading List Document Date: 2016-05-01 04:38:08 Open Document File Size: 137,00 KB Share Result on Facebook

Constructive semantics of Univalence Dependent type theory Γ, ∆Add to Reading List