@inproceedings{beeson2004,
	author = {Michael Beeson},
	booktitle = {Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings},
	date-added = {2014-11-13 23:14:14 +0000},
	date-modified = {2014-11-17 17:29:15 +0000},
	keywords = {Automated deduction, Lambda calculus, Logic},
	note = {The second link is to the published version; the first link is to a revised and corrected version.},
	pages = {460-474},
	series = {Lecture Notes in Artificial Intelligence},
	title = {Lambda Logic},
	url_pdf = {LambdaLogic.pdf},
	url_pdf2 = {LambdaLogicOriginal.pdf},
	volume = {3097},
	year = {2004}}

{"_id":"y4fyJo77QQD7EzQpX","authorIDs":["2SdAzEbDMovr39m3H","4zHeuQRwDkMD6Xqr8","546642d9bc7d6a460d00089c","5de8d43e9e80cdde01000195","5defeac014db5cdf0100007c","5dfc2497ff6df7de01000070","5e03ae17a94129de0100000d","5e0dc417c7ca67df01000109","5e13f6acf8aa5dde01000042","5e2f4a4c26e5cadf0100001c","5e51bde132046bdf0100010a","5e51e8358240c0df01000020","5e69258d662319de010002c5","646esaGECfJjWFymd","7mrKCLm7cPiKm5CWg","B6skFWJok43hJg7At","BGLwXT98q3Kfv9QTj","QcRbyYqcCRCSzhNb4","SsSrsyDc8aoqbnh2Y","TqZdHatzyaM88iEPt","WRMwE6oZ4X9x2raNz","XXmWhRQTdX28SvTMv","Y6CDZWnAjiy5nMvqw","Z3LjuYrif98QXhXZM","b6rQCmwcvrZxCNy6n","bo9wnnFY7yzdyp7Ys","bzE2DwxKMcdB45SRa","chfLHypwisu7qBotT","dZMcb62spBJnnjs3t","dpRM5cTGAFrusW55R","gKswhtTyf2MZBNzTm","ggWmAzYnJEh8XEXgn","gpNwNhYtCK7mSpaXS","hH3KZcgia6CKuCB3K","iGE2RbobA9XCL82JW","kTLoeuwJ8R9Lz7wYx","ntERk8MYJbwtJvdLg","pCMiYg5EBwjkwPqC5","tKZHk67ZbM8m8gTG5","wREPnWGHjcJZafazQ","wwTsH4RwBNarDwfdT"],"author_short":["Beeson, M."],"bibbaseid":"beeson-lambdalogic-2004","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings","date-added":"2014-11-13 23:14:14 +0000","date-modified":"2014-11-17 17:29:15 +0000","keywords":"Automated deduction, Lambda calculus, Logic","note":"The second link is to the published version; the first link is to a revised and corrected version.","pages":"460-474","series":"Lecture Notes in Artificial Intelligence","title":"Lambda Logic","url_pdf":"LambdaLogic.pdf","url_pdf2":"LambdaLogicOriginal.pdf","volume":"3097","year":"2004","bibtex":"@inproceedings{beeson2004,\n\tauthor = {Michael Beeson},\n\tbooktitle = {Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings},\n\tdate-added = {2014-11-13 23:14:14 +0000},\n\tdate-modified = {2014-11-17 17:29:15 +0000},\n\tkeywords = {Automated deduction, Lambda calculus, Logic},\n\tnote = {The second link is to the published version; the first link is to a revised and corrected version.},\n\tpages = {460-474},\n\tseries = {Lecture Notes in Artificial Intelligence},\n\ttitle = {Lambda Logic},\n\turl_pdf = {LambdaLogic.pdf},\n\turl_pdf2 = {LambdaLogicOriginal.pdf},\n\tvolume = {3097},\n\tyear = {2004}}\n\n","author_short":["Beeson, M."],"key":"beeson2004","id":"beeson2004","bibbaseid":"beeson-lambdalogic-2004","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/LambdaLogic.pdf"," pdf2":"http://www.michaelbeeson.com/research/papers/LambdaLogicOriginal.pdf"},"keyword":["Automated deduction","Lambda calculus","Logic"],"metadata":{"authorlinks":{"beeson, m":"https://www.michaelbeeson.com/research/papers/pubs.php"}},"downloads":2,"html":""},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T17:58:50.037Z","downloads":2,"keywords":["automated deduction","lambda calculus","logic"],"search_terms":["lambda","logic","beeson"],"title":"Lambda Logic","year":2004,"dataSources":["nTukRxsNNmbKgjGgn"]}