The lambda-context calculus (extended version (2009)

by M J Gabbay, S Lengrand
Venue:Information and computation