J. R. Hindley and J. P. Seldin, eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Principality and Type Inference for Intersection Types Using.. - Kfoury, Wells (2003) (4 citations) (Correct)
No context found.
J. R. Hindley and J. P. Seldin, eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (5 citations) (Correct)
No context found.
J. R. Hindley, J. P. Seldin, eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
The Essence of Principal Typings - Wells (2002) (51 citations) (Correct)
No context found.
J. R. Hindley, J. P. Seldin, eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
New Notions of Reduction and Non-Semantic Proofs of Strong.. - Kfoury, Wells (1995) (20 citations) (Correct)
No context found.
J. P. Seldin and J. R. Hindley, eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
Exact Intersection Typing Inference and Call-by-Name.. - Adam Bakewell Sebastien (2004) (Correct)
No context found.
J. R. Hindley and J. P. Seldin, eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (2004) (5 citations) (Correct)
No context found.
J. R. Hindley, J. P. Seldin, eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
Principality and Type Inference for Intersection Types Using.. - Kfoury, Wells (2003) (4 citations) (Correct)
No context found.
J. R. Hindley and J. P. Seldin, eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
Types, Potency, and Idempotency: Why Nonlinearity and.. - Neergaard, Mairson (2004) (Correct)
No context found.
J. R. Hindley and J. P. Seldin, editors. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
Principality and Decidable Type Inference for Finite-Rank.. - Kfoury, Wells (1998) (19 citations) (Correct)
No context found.
J. P. Seldin and J. R. Hindley, eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
Principality and Decidable Type Inference for Finite-Rank.. - Kfoury, Wells (1998) (19 citations) (Correct)
No context found.
J. P. Seldin and J. R. Hindley, eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
Le Fun: Logic, equations, and Functions - Ait-Kaci, Lincoln, Nasr (1986) (Correct)
No context found.
Seldin, J.P., and J.R. Hindley (Eds.), To H.B. Curry: Essays in Combinatory Logic, LambdaCalculus, and Formalism. Academic Press, New York. 1980.
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (5 citations) (Correct)
No context found.
J. R. Hindley, J. P. Seldin, eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
Principality and Type Inference for Intersection Types Using.. - Kfoury, Wells (2003) (4 citations) (Correct)
No context found.
J. R. Hindley and J. P. Seldin, eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
Conservation and Uniform Normalization in Lambda Calculi.. - Neergaard, Sørensen (2002) (2 citations) (Correct)
No context found.
J. R. Hindley, J. P. Seldin (Eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, Academic Press, 1980.
Principality and Type Inference for Intersection Types Using.. - Kfoury, Wells (2003) (4 citations) (Correct)
No context found.
J. R. Hindley and J. P. Seldin, eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (5 citations) (Correct)
No context found.
J. R. Hindley, J. P. Seldin, eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
Weak and Strong Normalization, K-redexes, and First-Order Logic - Neergaard (1999) (Correct)
No context found.
J. P. Seldin and J. R. Hindley, editors. To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press Limited, 1980. Cited on pages 116 and 117.
DEA SEMANTIQUE, PREUVES et - Langages Cours De (Correct)
No context found.
Hindley R. J., Seldin J., To H. B. Curry : Essays on Combinatory Logic, Lambda-calculus and Formalism Academic Press, 1980. Un recueil d'articles devenus, pour la plupart, des classiques du domaine.
On Functions and Types - Kamareddine (Correct)
No context found.
J.P. Seldin and J.R. Hindley, editors. To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, New York, 1980.
Revisiting the Notion of Function - Kamareddine, Laan, Nederpelt (Correct)
No context found.
J.P. Seldin and J.R. Hindley, editors. To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, New York, 1980.
The Essence of Principal Typings - Wells (2002) (51 citations) (Correct)
No context found.
J. R. Hindley, J. P. Seldin, eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
Mechanizing and Automating Mathematics: In honor of N.G. de.. - Automath Started In (Correct)
No context found.
J.P. Seldin and J.R. Hindley, editors. To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, New York, 1980.
The Essence of Principal Typings - Wells (2002) (51 citations) (Correct)
No context found.
J. R. Hindley, J. P. Seldin, eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
Lambda Calculus - Ker (2002) (Correct)
No context found.
J. P. Seldin and J. R. Hindley, editors. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, 1980.
Automath and Pure Type Systems - Kamareddine, Laan, Nederpelt (2003) (Correct)
No context found.
J.P. Seldin and J.R. Hindley, editors. To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, New York, 1980.
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