A located lambda calculus. elias kilty Cooper, E & Wadler, P . bibtex @Article{eliaskiltyCooper,
author = {elias kilty Cooper, E and Wadler, P},
title = {A located lambda calculus},
journal = {},
volume = {},
number = {},
pages = {},
year = {},
abstract = {},
location = {},
keywords = {}}
Downloads: 0
{"_id":"WLfSQLY8Hi4Ac85by","bibbaseid":"eliaskiltycooper-wadler-alocatedlambdacalculus","authorIDs":[],"author_short":["elias kilty Cooper, E","Wadler, P"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":["elias","kilty"],"lastnames":["Cooper"],"firstnames":["E"],"suffixes":[]},{"propositions":[],"lastnames":["Wadler"],"firstnames":["P"],"suffixes":[]}],"title":"A located lambda calculus","journal":"","volume":"","number":"","pages":"","year":"","abstract":"","location":"","keywords":"","bibtex":"@Article{eliaskiltyCooper,\nauthor = {elias kilty Cooper, E and Wadler, P}, \ntitle = {A located lambda calculus}, \njournal = {}, \nvolume = {}, \nnumber = {}, \npages = {}, \nyear = {}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["elias kilty Cooper, E","Wadler, P"],"key":"eliaskiltyCooper","id":"eliaskiltyCooper","bibbaseid":"eliaskiltycooper-wadler-alocatedlambdacalculus","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.866Z","downloads":0,"keywords":[],"search_terms":["located","lambda","calculus","elias kilty cooper","wadler"],"title":"A located lambda calculus","year":null,"dataSources":["hEoKh4ygEAWbAZ5iy"]}