Unification in lambda calculus with if-then-else. Beeson, M. In Kirchner, C. & Kirchner, H., editors, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings, pages 96-111, 1998.
![Unification in lambda calculus with if-then-else [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @inproceedings{beeson1998c,
author = {Michael Beeson},
booktitle = {15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
date-added = {2014-11-13 23:31:21 +0000},
date-modified = {2014-11-14 20:02:58 +0000},
editor = {Claude Kirchner and Helene Kirchner},
keywords = {Unification, Automated deduction, Lambda calculus},
pages = {96-111},
title = {Unification in lambda calculus with if-then-else},
url_pdf = {Unify.pdf},
year = {1998}}Downloads: 0
{"_id":"Lj92qZm2X6PFbALcT","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-unificationinlambdacalculuswithifthenelse-1998","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings","date-added":"2014-11-13 23:31:21 +0000","date-modified":"2014-11-14 20:02:58 +0000","editor":[{"firstnames":["Claude"],"propositions":[],"lastnames":["Kirchner"],"suffixes":[]},{"firstnames":["Helene"],"propositions":[],"lastnames":["Kirchner"],"suffixes":[]}],"keywords":"Unification, Automated deduction, Lambda calculus","pages":"96-111","title":"Unification in lambda calculus with if-then-else","url_pdf":"Unify.pdf","year":"1998","bibtex":"@inproceedings{beeson1998c,\n\tauthor = {Michael Beeson},\n\tbooktitle = {15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},\n\tdate-added = {2014-11-13 23:31:21 +0000},\n\tdate-modified = {2014-11-14 20:02:58 +0000},\n\teditor = {Claude Kirchner and Helene Kirchner},\n\tkeywords = {Unification, Automated deduction, Lambda calculus},\n\tpages = {96-111},\n\ttitle = {Unification in lambda calculus with if-then-else},\n\turl_pdf = {Unify.pdf},\n\tyear = {1998}}\n\n","author_short":["Beeson, M."],"editor_short":["Kirchner, C.","Kirchner, H."],"key":"beeson1998c","id":"beeson1998c","bibbaseid":"beeson-unificationinlambdacalculuswithifthenelse-1998","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/Unify.pdf"},"keyword":["Unification","Automated deduction","Lambda calculus"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T17:58:50.006Z","downloads":0,"keywords":["unification","automated deduction","lambda calculus"],"search_terms":["unification","lambda","calculus","beeson"],"title":"Unification in lambda calculus with if-then-else","year":1998,"dataSources":["v9esbf6gQ8h64d3NA"]}