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)|
|External links||This entry has no external links. Add one.|
|Through your library||Configure|
Similar books and articles
Weihui 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.
Robert L. Campbell, Mark H. Bickhard, PO Box & Chandler-Ullmann Hall, Types of Constraints on Development: An Interactivist Approach.
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.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?