Repository | Journal | Volume | Articles

COPR BookmarkLink
237245

(2003) Synthese 134 (1-2).

Proofs and programs

Giuseppe Longo

pp. 85-117

Publication details

DOI: 10.1023/A:1022135614184

Full citation:

Longo, G. (2003). Proofs and programs. Synthese 134 (1-2), pp. 85-117.

This document is unfortunately not available for download at the moment.