A Module Calculus for Pure Type Systems (1997)

by Judicaël Courant
Citations:24 - 3 self