The lambda-context calculus (extended version). Gabbay, M. J. & Lengrand, S. Inf. Comput., 207(12):1369–1400, 2009.
Paper doi bibtex @article{DBLP:journals/iandc/GabbayL09,
author = {Murdoch James Gabbay and
St{\'{e}}phane Lengrand},
title = {The lambda-context calculus (extended version)},
journal = {Inf. Comput.},
volume = {207},
number = {12},
pages = {1369--1400},
year = {2009},
url = {https://doi.org/10.1016/j.ic.2009.06.004},
doi = {10.1016/j.ic.2009.06.004},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/GabbayL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"wEt7jMFLenuS4Y5sk","bibbaseid":"gabbay-lengrand-thelambdacontextcalculusextendedversion-2009","authorIDs":[],"author_short":["Gabbay, M. J.","Lengrand, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Murdoch","James"],"propositions":[],"lastnames":["Gabbay"],"suffixes":[]},{"firstnames":["Stéphane"],"propositions":[],"lastnames":["Lengrand"],"suffixes":[]}],"title":"The lambda-context calculus (extended version)","journal":"Inf. Comput.","volume":"207","number":"12","pages":"1369–1400","year":"2009","url":"https://doi.org/10.1016/j.ic.2009.06.004","doi":"10.1016/j.ic.2009.06.004","timestamp":"Thu, 18 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/iandc/GabbayL09.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/iandc/GabbayL09,\n author = {Murdoch James Gabbay and\n St{\\'{e}}phane Lengrand},\n title = {The lambda-context calculus (extended version)},\n journal = {Inf. Comput.},\n volume = {207},\n number = {12},\n pages = {1369--1400},\n year = {2009},\n url = {https://doi.org/10.1016/j.ic.2009.06.004},\n doi = {10.1016/j.ic.2009.06.004},\n timestamp = {Thu, 18 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/iandc/GabbayL09.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Gabbay, M. J.","Lengrand, S."],"key":"DBLP:journals/iandc/GabbayL09","id":"DBLP:journals/iandc/GabbayL09","bibbaseid":"gabbay-lengrand-thelambdacontextcalculusextendedversion-2009","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.ic.2009.06.004"},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/g/MurdochGabbay.bib","creationDate":"2020-07-27T05:55:34.271Z","downloads":0,"keywords":[],"search_terms":["lambda","context","calculus","extended","version","gabbay","lengrand"],"title":"The lambda-context calculus (extended version)","year":2009,"dataSources":["8fz3gw22LB3CpDrfB"]}