A typed context calculus (2001)

by M Hashimoto, A Ohori
Venue:Theor. Comput. Sci