Realizability, set theory and term extraction
In Philippe De Groote (ed.), The Curry-Howard Isomorphism. Academia (1995)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesEric Funkhouser (2007). A Liberal Conception of Multiple Realizability. Philosophical Studies 132 (3):467-494.
John Staples (1974). Combinator Realizability of a Constructive Morse Set Theory. Journal of Symbolic Logic 39 (2):226-234.
Michael Rathjen (2005). The Disjunction and Related Properties for Constructive Zermelo-Fraenkel Set Theory. Journal of Symbolic Logic 70 (4):1233 - 1254.
Eric Funkhouser (2007). Multiple Realizability. Philosophy Compass 2 (2):303–315.
Thomas Polger (2002). Putnam's Intuition. Philosophical Studies 109 (2):143 - 170.
Steve Awodey (2008). A Brief Introduction to Algebraic Set Theory. Bulletin of Symbolic Logic 14 (3):281-298.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
