@article{J6,
  Author =	 {Christoph Benzm{\"u}ller and Chad Brown and Michael
                  Kohlhase},
  Doi =		 {10.2178/jsl/1102022211},
  Journal =	 {Journal of Symbolic Logic},
  Keywords =	 {own, Higher Order Logic, Henkin Semantics,
                  Cut-Elimination, ERIH PLUS},
  Number =	 4,
  Pages =	 {1027-1088},
  Title =	 {Higher-Order Semantics and Extensionality},
  url_preprint = {https://www.researchgate.net/publication/38338872},
  Volume =	 69,
  Year =	 2004,
}

{"_id":"hd4K6KZuM3x4LdtdM","bibbaseid":"benzmller-brown-kohlhase-higherordersemanticsandextensionality-2004","author_short":["Benzmüller, C.","Brown, C.","Kohlhase, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Chad"],"propositions":[],"lastnames":["Brown"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Kohlhase"],"suffixes":[]}],"doi":"10.2178/jsl/1102022211","journal":"Journal of Symbolic Logic","keywords":"own, Higher Order Logic, Henkin Semantics, Cut-Elimination, ERIH PLUS","number":"4","pages":"1027-1088","title":"Higher-Order Semantics and Extensionality","url_preprint":"https://www.researchgate.net/publication/38338872","volume":"69","year":"2004","bibtex":"@article{J6,\n Author =\t {Christoph Benzm{\\\"u}ller and Chad Brown and Michael\n Kohlhase},\n Doi =\t\t {10.2178/jsl/1102022211},\n Journal =\t {Journal of Symbolic Logic},\n Keywords =\t {own, Higher Order Logic, Henkin Semantics,\n Cut-Elimination, ERIH PLUS},\n Number =\t 4,\n Pages =\t {1027-1088},\n Title =\t {Higher-Order Semantics and Extensionality},\n url_preprint = {https://www.researchgate.net/publication/38338872},\n Volume =\t 69,\n Year =\t 2004,\n}\n\n","author_short":["Benzmüller, C.","Brown, C.","Kohlhase, M."],"key":"J6","id":"J6","bibbaseid":"benzmller-brown-kohlhase-higherordersemanticsandextensionality-2004","role":"author","urls":{" preprint":"https://www.researchgate.net/publication/38338872"},"keyword":["own","Higher Order Logic","Henkin Semantics","Cut-Elimination","ERIH PLUS"],"metadata":{"authorlinks":{}},"downloads":5},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","higher order logic","henkin semantics","cut-elimination","erih plus"],"search_terms":["higher","order","semantics","extensionality","benzmüller","brown","kohlhase"],"title":"Higher-Order Semantics and Extensionality","year":2004,"downloads":5}