The formulæ-as-types notion of construction
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,875 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesWeihui Fu & Satish P. Deshpande (2012). Antecedents of Organizational Commitment in a Chinese Construction Company. Journal of Business Ethics 109 (3):301-307.
Tapani Hyttinen & Meeri Kesälä (2010). Lascar Types and Lascar Automorphisms in Abstract Elementary Classes. Notre Dame Journal of Formal Logic 52 (1):39-54.
Murat Gunduz & Oytun Önder (forthcoming). Corruption and Internal Fraud in the Turkish Construction Industry. Science and Engineering Ethics.
Pawel Garbacz (2009). What is an Artefact Design? Techné 13 (2):137-149.
Bernhard Herwig (1995). Weight Ω in Stable Theories with Few Types. Journal of Symbolic Logic 60 (2):353-373.
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
