"A typed context calculus."

Masatomo Hashimoto, Atsushi Ohori (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics