Higher-Order Semantics and Extensionality

Benzmüller, Christoph; Brown, Chad; Kohlhase, Michael

doi:10.2178/jsl/1102022211

by Christoph Benzmüller, Chad Brown, Michael Kohlhase

Reference:

Higher-Order Semantics and Extensionality (Christoph Benzmüller, Chad Brown, Michael Kohlhase), In Journal of Symbolic Logic, volume 69, number 4, pp. 1027-1088, 2004. (Url (preprint): http://christoph-benzmueller.de/papers/J6.pdf)

Bibtex Entry:

@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},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/J6.pdf}},
  Volume =	 69,
  Year =	 2004,
}