-
Realizability and parametricity in Pure Type Systems
This thesis focuses on the adaptation of realizability and parametricity to dependent types in the framework of Pure Type Systems. We describe a systematic method to... -
A list-machine benchmark for mechanized metatheory
Projet GALLIUM
