Type theory and the seven steps towards object-based happiness

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Fingerprint Dive into the research topics of 'Type theory and the seven steps towards object-based happiness'. Together they form a unique fingerprint.