Peter Dybjer, José Espírito Santo, Luís Pinto, editors, 24th International Conference on Types for Proofs and Programs, TYPES 2018, June 18-21, 2018, Braga, Portugal. Volume 130 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
Conference: TYPES2019
No references recorded for this publication.
No citations of this publication recorded.