A typed context calculus, Theoretical Computer Science 266 (2001)

by M Hashimoto, A Ohori