Centre for Advanced Study

at the Norwegian Academy of Science and Letters

TYPES 2019

25th International Conference on Types for Proofs and Programs

By Camilla K. Elmar,
LOGO