The formulae-as-types notion of construction

In Haskell Curry, Hindley B., Seldin J. Roger & P. Jonathan (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.
BDD-based decision procedures for the modal logic K ★.Guoqiang Pan, Ulrike Sattler & Moshe Y. Vardi - 2006 - Journal of Applied Non-Classical Logics 16 (1-2):169-207.
Generalising canonical extension to the categorical setting.Dion Coumans - 2012 - Annals of Pure and Applied Logic 163 (12):1940-1961.
Ritualistic Formulae In Greek Dramatic Texts.Howard Jacobson - 1982 - Classical Quarterly 32 (01):233-.
Ritualistic Formulae In Greek Dramatic Texts.Howard Jacobson - 1982 - Classical Quarterly 32 (1):233-234.
On the strength and scope of DLS.Willem Conradie - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):279-296.
Weight ω in stable theories with few types.Bernhard Herwig - 1995 - Journal of Symbolic Logic 60 (2):353-373.
Context-dependent Abduction and Relevance.Dov Gabbay, Rolf Nossum & John Woods - 2006 - Journal of Philosophical Logic 35 (1):65-81.
A Finite Fragment Of S3.Tomasz Kowalski & John Slaney - 2008 - Reports on Mathematical Logic.

Analytics

Added to PP
2020-09-03

Downloads
1 (#1,859,155)

6 months
1 (#1,428,112)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

References found in this work

No references found.

Add more references