A Module Calculus for Pure Type Systems (1997)

by Judicaël Courant
Citations:23 - 3 self