Y.: A simply typed context calculus with firstclass environments (2002)

by M Sato, T Sakurai, Kameyama
Venue:J. Functional and Logic Programming