A Simply Typed Context Calculus with First-class Environments.

Masahiko Sato Takafumi Sakurai Yukiyoshi Kameyama A Simply Typed Context Calculus with First-class Environments. 2002 2002 Journal of Functional and Logic Programming http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/JFLP-A02-04.pdf db/journals/jflp/jflp2002.html#SatoSK02