![](https://media.springernature.com/w90/springer-static/cover/journal/10817/63/2.jpg?as=webp)
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