Volume 63, Issue 2, August 2019

Special 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

ISSN: 0168-7433 (Print) 1573-0670 (Online)

In this issue (16 articles)