Semantic Techniques for Cut-Elimination in Higher-Order Logics. Benzmüller, C., Brown, C., & Kohlhase, M. Technical Report SR-2004-07, Saarland University, Saarbrücken, Germany, 2004.
![Semantic Techniques for Cut-Elimination in Higher-Order Logics [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Preprint bibtex 2 downloads
Preprint bibtex 2 downloads @techreport{R37,
Author = {Christoph Benzm{\"u}ller and Chad Brown and Michael
Kohlhase},
Institution = {Saarland University, Saarbr{\"u}cken, Germany},
Number = {SR-2004-07},
Publisher = {SEKI Publications (ISSN 1437-4447)},
Title = {Semantic Techniques for Cut-Elimination in
Higher-Order Logics},
Type = {SEKI Report},
url_preprint = {http://christoph-benzmueller.de/papers/R37.pdf},
Year = 2004,
}Downloads: 2
{"_id":"Boaf9FtbCEYvdGyu2","bibbaseid":"benzmller-brown-kohlhase-semantictechniquesforcuteliminationinhigherorderlogics-2004","author_short":["Benzmüller, C.","Brown, C.","Kohlhase, M."],"bibdata":{"bibtype":"techreport","type":"SEKI Report","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Chad"],"propositions":[],"lastnames":["Brown"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Kohlhase"],"suffixes":[]}],"institution":"Saarland University, Saarbrücken, Germany","number":"SR-2004-07","publisher":"SEKI Publications (ISSN 1437-4447)","title":"Semantic Techniques for Cut-Elimination in Higher-Order Logics","url_preprint":"http://christoph-benzmueller.de/papers/R37.pdf","year":"2004","bibtex":"@techreport{R37,\n Author =\t {Christoph Benzm{\\\"u}ller and Chad Brown and Michael\n Kohlhase},\n Institution =\t {Saarland University, Saarbr{\\\"u}cken, Germany},\n Number =\t {SR-2004-07},\n Publisher =\t {SEKI Publications (ISSN 1437-4447)},\n Title =\t {Semantic Techniques for Cut-Elimination in\n Higher-Order Logics},\n Type =\t {SEKI Report},\n url_preprint = {http://christoph-benzmueller.de/papers/R37.pdf},\n Year =\t 2004,\n}\n\n","author_short":["Benzmüller, C.","Brown, C.","Kohlhase, M."],"key":"R37","id":"R37","bibbaseid":"benzmller-brown-kohlhase-semantictechniquesforcuteliminationinhigherorderlogics-2004","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/R37.pdf"},"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"techreport","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["semantic","techniques","cut","elimination","higher","order","logics","benzmüller","brown","kohlhase"],"title":"Semantic Techniques for Cut-Elimination in Higher-Order Logics","year":2004,"downloads":2}