Towards Higher Observational Type Theory - Ambrus Kaposi
Channel: TYPES 2022
Date: 2022-08-16

TYPES 2022 20 06 2022