A typed context calculus (1996)

by M Hashimoto, A Ohori
Venue:Theoretical Computer Science