| | |
Showing below keyword matches in entire database for "polymorphism":
| 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 |