Sign in

An Irrelevancy-Eliminating Translation of Pure Type Systems.

Nathan Mull
Published in: TYPES (2022)
Keyphrases