Peter LeFanu Lumsdaine, Nicolas Tabareau. Preface: Special Issue on Homotopy Type Theory and Univalent Foundations. Journal of Automated Reasoning, 63(2):157-158, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.