Bibliography

Bibliographies: 2001 | 2002 | 2003 | 2004 | 2011

Search the bibliographies


Year (not used on keyword search):
Simple text search:
In: Entries    Keywords
|

Showing 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