FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Inner Models of Univalence

Author: Thierry Coquand

Paper Information

Title:Inner Models of Univalence
Authors:Thierry Coquand
Proceedings:LICS PDF files
Editors: Anuj Dawar and Erich Grädel
Keywords:
Abstract:
Pages:2
Paper: