Search: Cut-Simulation And Impredicativity
2009
[1]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. (Preprint: http://christoph-benzmueller.de/papers/J18.pdf) [bibtex] [doi]
Powered by bibtexbrowser