Volume 63, Issue 2
August 2019Special Issue: Homotopy Type Theory and Univalent Foundations / Guest Editors: Peter Lefanu Lumsdaine, Nicolas Tabareau & Special Issue: Selected Extended Papers of ITP 2017 / Guest Editors: Mauricio Ayala-Rincón, César Muñoz
- Issue Editors:
-
- Peter Lefanu Lumsdaine,
- Nicolas Tabareau,
- Mauricio Ayala-Rincón,
- César Muñoz
16 articles in this issue