THE DUALITY OF CLASSICAL AND CONSTRUCTIVE NOTIONS AND PROOFS

From Sets and Types to Topology and Analysis ◽

10.1093/acprof:oso/9780198566519.003.0009 ◽

2005 ◽

pp. 149-162 ◽

Author(s):

Sara Negri ◽

Jan Von Plato

Download Full-text