A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types.

Published in: ACM Trans. Comput. Log. (2022)

Keyphrases