@Inproceedings{EPTCS47.5, author = {Houtmann, Cl\'ement}, year = {2011}, title = {Superdeduction in Lambda-Bar-Mu-Mu-Tilde}, editor = {Bakel, Steffen van and Berardi, Stefano and Berger, Ulrich}, booktitle = {{\rm Proceedings Third International Workshop on} Classical Logic and Computation, {\rm Brno, Czech Republic, 21-22 August 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {47}, publisher = {Open Publishing Association}, pages = {34-43}, doi = {10.4204/EPTCS.47.5}, }