@inproceedings{3e238eed552445c782a5203735a9a897,
title = "What is the problem with proof nets for classical logic?",
abstract = "This paper is an informal (and nonexhaustive) overview over some existing notions of proof nets for classical logic, and gives some hints why they might be considered to be unsatisfactory.",
author = "Lutz Stra{\ss}burger",
year = "2010",
month = jan,
day = "1",
doi = "10.1007/978-3-642-13962-8\_45",
language = "English",
isbn = "3642139612",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "406--416",
booktitle = "Programs, Proofs, Processes - 6th Conference on Computability in Europe, CiE 2010, Proceedings",
note = "6th Conference on Computability in Europe, CiE 2010 ; Conference date: 30-06-2010 Through 04-07-2010",
}