1 results
Finding computational content in classical proofs
- from Proofs and Computation
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 341-362
-
- Chapter
- Export citation