@inproceedings{lamarche:inria-00440875, TITLE = {{Two Denotational Interpretations of Proofs in Classical Logic}}, AUTHOR = {Lamarche, Fran{\c c}ois and Novakovic, Novak}, URL = {https://inria.hal.science/inria-00440875}, BOOKTITLE = {{Structures and Deduction 2009}}, ADDRESS = {Bordeaux, France}, EDITOR = {Michel Parigot and Lutz Stra{\ss}burger}, PAGES = {117-133}, YEAR = {2009}, MONTH = Jul, HAL_ID = {inria-00440875}, HAL_VERSION = {v1}, }