Cut-Simulation and Impredicativity (bibtex)
by Christoph Benzmüller, Chad Brown, Michael Kohlhase
Reference:
Cut-Simulation and Impredicativity (Christoph Benzmüller, Chad Brown, Michael Kohlhase), In Logical Methods in Computer Science, volume 5, number 1:6, pp. 1-21, 2009. (Url (preprint): http://christoph-benzmueller.de/papers/J18.pdf)
Bibtex Entry:
@article{J18,
  Author =	 {Christoph Benzm{\"u}ller and Chad Brown and Michael
                  Kohlhase},
  Doi =		 {10.2168/LMCS-5(1:6)2009},
  Journal =	 {Logical Methods in Computer Science},
  Keywords =	 {own, Higher Order Logic, Henkin Semantics,
                  Cut-Elimination},
  Number =	 {1:6},
  Pages =	 {1-21},
  Title =	 {Cut-Simulation and Impredicativity},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/J18.pdf}},
  Volume =	 5,
  Year =	 2009,
}
Powered by bibtexbrowser