A typed context calculus (0)

by M Hashimoto, A Ohori
Venue:Theoretical Computer Science