The duality of lcassical and constructive notions and proofs

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},
}