Gabbay, Murdoch J.; Lengrand, Stéphane The lambda-context calculus (extended version). (English) Zbl 1192.68137 Inf. Comput. 207, No. 12, 1369-1400 (2009). MSC: 68N18 PDFBibTeX XMLCite \textit{M. J. Gabbay} and \textit{S. Lengrand}, Inf. Comput. 207, No. 12, 1369--1400 (2009; Zbl 1192.68137) Full Text: DOI
Gabbay, Murdoch J.; Lengrand, Stéphane The \(\lambda\)-context calculus. (English) Zbl 1278.03036 Pientka, B. (ed.) et al., Proceedings of the second international workshop on logical frameworks and meta-languages: theory and practice (LFMTP 2007), Bremen, Germany, July 15, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 196, 19-35 (2008). MSC: 03B40 03B70 PDFBibTeX XMLCite \textit{M. J. Gabbay} and \textit{S. Lengrand}, Electron. Notes Theor. Comput. Sci. 196, 19--35 (2008; Zbl 1278.03036) Full Text: Link