W. A. Howard. The formulae-as-types notion of construction. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, 1980, pages 479-- 490. Academic Press, 1980. Hitherto unpublished note of 1969, rearranged, corrected, and annotated by Howard, 1979. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Linear Spine Calculus - Iliano Cervesato Advanced (Correct)
No context found.
W. A. Howard. The formulae-as-types notion of construction. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, 1980, pages 479-- 490. Academic Press, 1980. Hitherto unpublished note of 1969, rearranged, corrected, and annotated by Howard, 1979.
On the Conservativity of Leibniz Equality - Sellink Programming Research (Correct)
No context found.
W.A. Howard. The formulae-as-types notion of construction. In J.R. Hindley and J.P. Seldin, editors, Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 479--490. Academic Press, London, 1980. Dedicated to Haskell B. Curry on the occasion of his 80th birthday.
A Linear Spine Calculus - Iliano Cervesato Advanced (2003) (1 citation) (Correct)
No context found.
W. A. Howard. The formulae-as-types notion of construction. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, 1980, pages 479-- 490. Academic Press, 1980. Hitherto unpublished note of 1969, rearranged, corrected, and annotated by Howard, 1979.
Propositions as [Types] - Awodey, Bauer (2001) (1 citation) (Correct)
No context found.
W. A. Howard. The formulae-as-types notion of construction. In J. R. Seldin and J. P. Hindley, editors, To H. B. Curry: Essays on Combinaory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
Propositions as [Types] - Awodey, Bauer (2001) (1 citation) (Correct)
No context found.
W. A. Howard. The formulae-as-types notion of construction. In J. R. Seldin and J. P. Hindley, editors, To H. B. Curry: Essays on Combinaory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
Verification of Safety Properties for Concurrent Assembly Code - Dachuan Yu And (2004) (Correct)
No context found.
W. A. Howard. The formulae-as-types notion of constructions. In To H.B.Curry: Essays on Computational Logic, Lambda Calculus and Formalism, pages 479--490. Academic Press, 1980.
Interfacing Compilers, Proof Checkers, and Proofs for Foundational.. - Wu (2005) (Correct)
No context found.
W. A. Howard. The formulae-as-types notion of construction. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 479--490. Academic Press, Inc., New York, NY, 1980.
On the Axiomatisation of Boolean Categories with and without.. - Straßburger (2005) (Correct)
No context found.
W. A. Howard. The formulae-as-types notion of construction. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 479--490. Academic Press, 1980.
What is a Logic, and What is a Proof? - Straßburger (2005) (Correct)
No context found.
W. A. Howard. The formulae-as-types notion of construction. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 479--490. Academic Press, 1980.
MELL in the Calculus of Structures - Straßburger (2003) (Correct)
No context found.
W. A. Howard. The formulae-as-types notion of construction. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism,pages 479--490. Academic Press, 1980.
Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003) (Correct)
No context found.
W. A. Howard. The formulae-as-types notion of construction. In J. P. Seldin and J. R.Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism,pages 479--490. Academic Press, 1980.
The Need for Type Theory in Semantic Web Services - Rod Moten Bloomberg (2005) (Correct)
No context found.
W. Howard. The formulae-as-types notion of construction. In J. Seldin and J. Hindley, editors, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 479--490. Academic Press, 1980.
Type Theory and Rewriting - BLANQUI (2001) (1 citation) (Correct)
No context found.
W. A. Howard. The formulae-as-types notion of construction (1969.
What is mathematical logic? A survey - Crossley (2005) (Correct)
No context found.
William Howard. The formulae-as-types notion of construction. In John Roger Hindley and Jonathan Seldin, editors, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, pages 479--490. Academic Press, 1969.
Intersection Types, λ-models, and Böhm Trees - Dezani-Ciancaglini.. (Correct)
No context found.
W. Howard, "The Formulae-as-types Notion of Construction", To H.B. Curry, Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, New York, 1980, 479--490.
What is the Difference between Proofs and Programs? - Crossley (2005) (Correct)
No context found.
William Howard. The formulae-as-types notion of construction. In John Roger Hindley and Jonathan Seldin, editors, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, pages 479--490. Academic Press, 1969.
Samsara - Crossley (2005) (Correct)
No context found.
William Howard. The formulae-as-types notion of construction. In John Roger Hindley and Jonathan Seldin, editors, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, pages 479--490. Academic Press, 1969.
Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003) (21 citations) (Correct)
No context found.
W. A. Howard. The formulae-as-types notion of construction. In J. P. Seldin and J. R.Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism,pages 479--490. Academic Press, 1980.
Cut Rules and Explicit Substitutions - Vestergaard, Wells (1999) (3 citations) (Correct)
No context found.
W. A. Howard. The formulae-as-types notion of construction. In J. P. Seldin and J. R. Hindley, editors, To H.B. Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism, pages 470-490. Academic Press, 1980.
What is a Logic, and What is a Proof? - Straßburger (2005) (Correct)
No context found.
W. A. Howard. The formulae-as-types notion of construction. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 479--490. Academic Press, 1980.
Cut Rules and Explicit Substitutions - Vestergaard, Wells (2000) (3 citations) (Correct)
No context found.
Howard, W.A., (1969). The formulae-as-types notion of construction. In Seldin, J. P., and Hindley, J. R., editors, To H.B. Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism, pages 470--490. Academic Press, 1980.
MELL in the Calculus of Structures - Straßburger (2003) (Correct)
No context found.
W. A. Howard. The formulae-as-types notion of construction. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism,pages 479--490. Academic Press, 1980.
Proving Self-Stabilization With A Proof Assistant - Courtieu (2001) (Correct)
No context found.
William A. Howard, "The formulae-as-types notion of construction," in To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, J. Roger Hindley Jonathan P. Seldin, Ed., pp. 479--490. Academic Press, London, 1980.
A Formal Calculus for Categories - Caccamo (2003) (Correct)
No context found.
W. A. Howard. The formulae-as-types notion of construction. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 479--490. Academic Press, 1990.
An Interpretation of the Second Order Sequent Calculus in the.. - Th Mar Ch (Correct)
No context found.
William A. Howard. The formulae--as--types notion of construction. In To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, edited J. R. Hindley and J. P. Seldin, pages 479--490. North-Holland, 1990.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC