| |
Showing below keyword matches in entire database for "proof theory":
Longo, Giuseppe. "Proofs and Programs." Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science 134.1-2 (2003): 85-117. | |
Literature, Science & the Arts | |
Keywords: calculus | logic | mathematics | physical and mathematical sciences | polymorphism | proof theory | rhetoric of science | semantics | theory |