The `type-theory' of reaction
Mind 5 (17):81-90 (1896)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
|
| Through your library | Configure |
Nicola Gambino & Peter Aczel (2006). The Generalised Type-Theoretic Interpretation of Constructive Set Theory. Journal of Symbolic Logic 71 (1):67 - 103.
Jan Smith (1984). An Interpretation of Martin-Löf's Type Theory in a Type-Free Theory of Propositions. Journal of Symbolic Logic 49 (3):730-753.
Niall Shanks (2001). Modeling Biological Systems: The Belousov–Zhabotinsky Reaction. Foundations of Chemistry 3 (1):33-53.
E. B. Titchener (1896). The `Type-Theory' of the Simple Reaction. Mind 5 (18):236-241.
E. B. Titchener (1895). The Type-Theory of the Simple Reaction. Mind 4 (16):506-514.
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads2 ( #232,684 of 549,671 )Recent downloads (6 months)1 ( #63,425 of 549,671 )How can I increase my downloads? |

