@inproceedings{beeson2005b,
	author = {Michael Beeson},
	booktitle = {LPAR-05 Workshop: Empirically Successful Automated Reasoning in Higher-Order Logic (ESHOL)},
	date-added = {2014-11-17 17:39:30 +0000},
	date-modified = {2014-11-17 18:05:43 +0000},
	editor = {Christoph Benzmueller and John Harrison and Carsten Schuermann},
	keywords = {Logic, Otter},
	note = {The first link leads to a slightly extended version. The second link leads to the entire workshop proceedings},
	title = {Implicit and explicit typing in lambda logic},
	url_pdf = {ImplicitAndExplicitTyping.pdf},
	url_pdf2 = {http://arxiv.org/abs/cs/0601042},
	year = {2005}}

{"_id":"mAu85ow2aWnTGNa7F","bibbaseid":"beeson-implicitandexplicittypinginlambdalogic-2005","author_short":["Beeson, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"LPAR-05 Workshop: Empirically Successful Automated Reasoning in Higher-Order Logic (ESHOL)","date-added":"2014-11-17 17:39:30 +0000","date-modified":"2014-11-17 18:05:43 +0000","editor":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmueller"],"suffixes":[]},{"firstnames":["John"],"propositions":[],"lastnames":["Harrison"],"suffixes":[]},{"firstnames":["Carsten"],"propositions":[],"lastnames":["Schuermann"],"suffixes":[]}],"keywords":"Logic, Otter","note":"The first link leads to a slightly extended version. The second link leads to the entire workshop proceedings","title":"Implicit and explicit typing in lambda logic","url_pdf":"ImplicitAndExplicitTyping.pdf","url_pdf2":"http://arxiv.org/abs/cs/0601042","year":"2005","bibtex":"@inproceedings{beeson2005b,\n\tauthor = {Michael Beeson},\n\tbooktitle = {LPAR-05 Workshop: Empirically Successful Automated Reasoning in Higher-Order Logic (ESHOL)},\n\tdate-added = {2014-11-17 17:39:30 +0000},\n\tdate-modified = {2014-11-17 18:05:43 +0000},\n\teditor = {Christoph Benzmueller and John Harrison and Carsten Schuermann},\n\tkeywords = {Logic, Otter},\n\tnote = {The first link leads to a slightly extended version. The second link leads to the entire workshop proceedings},\n\ttitle = {Implicit and explicit typing in lambda logic},\n\turl_pdf = {ImplicitAndExplicitTyping.pdf},\n\turl_pdf2 = {http://arxiv.org/abs/cs/0601042},\n\tyear = {2005}}\n\n","author_short":["Beeson, M."],"editor_short":["Benzmueller, C.","Harrison, J.","Schuermann, C."],"key":"beeson2005b","id":"beeson2005b","bibbaseid":"beeson-implicitandexplicittypinginlambdalogic-2005","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/ImplicitAndExplicitTyping.pdf"," pdf2":"http://arxiv.org/abs/cs/0601042"},"keyword":["Logic","Otter"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["logic","otter"],"search_terms":["implicit","explicit","typing","lambda","logic","beeson"],"title":"Implicit and explicit typing in lambda logic","year":2005}