Categorical structures for type theory in univalent foundationsOpen Website

Benedikt Ahrens, Peter LeFanu Lumsdaine, Vladimir Voevodsky

2018 (modified: 14 Mar 2023)Log. Methods Comput. Sci. 2018Readers: Everyone
0 Replies