Sara Negri, Jan von Plato. The duality of lcassical and constructive notions and proofs. In Laura Crosilla, Peter M. Schuster, editors, From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics. Volume 48 of Oxford logic guides, Oxford University Press, 2005.
@incollection{NegriP05, title = {The duality of lcassical and constructive notions and proofs}, author = {Sara Negri and Jan von Plato}, year = {2005}, researchr = {https://researchr.org/publication/NegriP05}, cites = {0}, citedby = {0}, booktitle = {From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics}, editor = {Laura Crosilla and Peter M. Schuster}, volume = {48}, series = {Oxford logic guides}, publisher = {Oxford University Press}, isbn = {978-0-19-856651-9}, }