"23rd International Conference on Types for Proofs and Programs, TYPES ..."

Andreas Abel, Fredrik Nordvall Forsberg, Ambrus Kaposi (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics