Franco Barbanera, Stefano Berardi. A Constructive Valuation Interpretation for Classical Logic and its Use in Witness Extraction. In Jean-Claude Raoult, editor, CAAP 92, 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings. Volume 581 of Lecture Notes in Computer Science, pages 1-23, Springer, 1992.
@inproceedings{BarbaneraB92, title = {A Constructive Valuation Interpretation for Classical Logic and its Use in Witness Extraction}, author = {Franco Barbanera and Stefano Berardi}, year = {1992}, tags = {logic}, researchr = {https://researchr.org/publication/BarbaneraB92}, cites = {0}, citedby = {0}, pages = {1-23}, booktitle = {CAAP 92, 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings}, editor = {Jean-Claude Raoult}, volume = {581}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-55251-0}, }