The lambda-context calculus (extended version)
scientific article; zbMATH DE number 5645356
scientific article