@ARTICLE{
author={Zunic Dragisa,Lescanne Pierre},
year={2012},
title={Classical Computation with Negation},
journal={NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM 2012), VOLS A AND B},
volume={1479},
number={},
pages={474-477},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Gilezan Silvia,Ivetic Jelena B,Lescanne Pierre,Zunic Dragisa},
year={2011},
title={Intuitionistic Sequent-Style Calculus with Explicit Structural Rules},
journal={LOGIC, LANGUAGE, AND COMPUTATION},
volume={6618},
number={},
pages={101-124},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Lescanne Pierre,Zunic Dragisa},
year={2011},
title={Classical Proofs' Essence and Diagrammatic Computation},
journal={NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2011: INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS A-C},
volume={1389},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Dougherty Daniel J,Gilezan Silvia,Lescanne Pierre},
year={2008},
title={Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage},
journal={THEORETICAL COMPUTER SCIENCE},
volume={398},
number={1-3},
pages={114-128},
document_type={Article},
} 

@ARTICLE{
author={Dougherty Daniel J,Gilezan Silvia,Lescanne Pierre,Likavec Silvia J},
year={2005},
title={Strong normalization of the dual classical sequent calculus},
journal={LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS},
volume={3835},
number={},
pages={169-183},
document_type={Article},
} 

@ARTICLE{
author={Gilezan Silvia,Lescanne Pierre},
year={2004},
title={Classical proofs, typed processes, and intersection types},
journal={TYPES FOR PROOFS AND PROGRAMS},
volume={3085},
number={},
pages={226-241},
document_type={Article},
}