and Atsushi Ohori. A typed context calculus (2001)

by Masatomo Hashimoto
Venue:Theoretical Computer Science