at the Norwegian Academy of Science and Letters
25th International Conference on Types for Proofs and Programs
Open as PDF
