A module calculus for pure type systems (1997)

by Cou97 J Courant
Venue:In Typed Lambda Calculus and Applications, number 1210 in Lecture Notes in Computer Science