Preface: Special Issue on Homotopy Type Theory and Univalent Foundations

Download PDF
Open Webpage

Peter LeFanu Lumsdaine, Nicolas Tabareau

Published: 01 Jan 2019, Last Modified: 20 Nov 2024J. Autom. Reason. 2019EveryoneRevisionsBibTeXCC BY-SA 4.0