Dependent types and explicit substitutions (0)

by C Muñoz
Venue:Mathematical Structures in Computer Science