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
Lectures on the Curry-Howard Isomorphism - Sørensen, Urzyczyn (1998) (2 citations) (Correct)
....Co. 1986. 27] L. Damas and R. Milner. Principal type schemes for functional programs. In Conference Record of the Annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages, pages 207 212, Jan. 1982. 28] N.G. de Bruijn. A survey of the project AUTOMATH. In Seldin and Hindley [98], pages 579 606. 29] A. Degtyarev and A. Voronkov. Decidability problems for the prenex fragment of intuitionistic logic. In Logic in Computer Science, pages 503 512, 1996. 30] W. Dekkers. Inhabitation of types in the simply typed calculus. Information and Computation, 119:14 17, 1995. ....
....Principal types of BCK lambda terms. Theoretical Computer Science, 107:253 276, 1993. 57] J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison Wesley, 1979. 58] W. Howard. The formulae as types notion of construction. In Seldin and Hindley [98], pages 479 490. 59] G. Huet and G. Plotkin. Logical Frameworks. Cambridge University Press, 1991. 60] S.C. Kleene. On the interpretation of intuitionistic number theory. Journal of Symbolic Logic, 10:109 124, 1945. 61] S.C. Kleene. Introduction to Metamathematics. Van Nostrand, 1952. ....
J.P. Seldin and J.R. Hindley, editors. To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press Limited, 1980.
Logic Journal - Of The Editor-In-Chief (Correct)
....following family of multiple valued preferential systems is considered in [3, 5] The algebraic structures that provide their semantics are sometimes called logical bilattices. Bilattices were introduced by Ginsberg in [20, 21] as a general framework for a diversity of applications in AI (see also [1, 2, 8, 13, 14]) In these structures there are two partial orders according to which the truth values are represented, and each one of them induces a complete lattice on their common underlying structure. One order is usually denoted by t . It intuitively measures differences in the amount of truth that the ....
.... Eds. Kings Colledge Publications and Research Studies Press. 6] A.Avron. On an implication connective of RM. Notre Dame Journal of Formal Logic, Vol.27, pages 201 209, 1986. 7] A.Avron. Simple consequence relations. Journal of Information and Computation, Vol.92, pages 105 139, 1991. [8] A.Avron. The structure of interlaced bilattices. Journal of Mathematical Structures in Computer Science, Vol.6, pages 287 299, 1996. 9] N.D.Belnap. A useful four valued logic. Modern Uses of Multiple Valued Logic (G.Epstein, J.M.Dunn Eds. Reidel, Dordrecht, pages 7 37, 1977. 10] ....
[Article contains additional citation context not shown here]
Seldin, J. P. and Hindley eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, New York, 1980.
A Relevant Analysis of Natural Deduction - Ishtiaq (1999) (28 citations) (Correct)
....of Intuitionism. Clarendon Press, Oxford, 1977. Dun86] JM Dunn. Relevance logic and entailment. In Gabbay and F Guenthner, editors, Handbook of Philosophical Logic, volume III, chapter 3, pages 117 224. D Reidel, 1986. Gan80] RO Gandy. Proofs of strong normalization. In Seldin and Hindley [SH80], pages 457 478. GdQ92] DM Gabbay and RJB de Queiroz. Extending the Curry Howard interpretation to linear, relevant and other resource logics. Journal of Symbolic Logic, 57(4) 1992. Gen34] G Gentzen. Untersuchungen uber das logishche Schliessen. Mathematische Zeitschrift, 39:176 210, ....
....for Computing Machinery, 40(1) 143 184, January 1993. HM94] JS Hodas and D Miller. Logic programming in a fragment of intuitionistic linear logic. Information and Computation, 110(2) 327 365, 1994. 151 [How80] WA Howard. The formula as types notion of construction. In Seldin and Hindley [SH80], chapter 9, pages 479 490. HP91] G Huet and G Plotkin, editors. Cambridge University Press, 1991. HPW96] JA Harland, DJ Pym, and J Winikoff. Programming in Lygon: An overview. In MWirsing and M Nivat, editors, Algebraic Methodology and Software Technology, volume 1101 of LNCS, pages 391 405. ....
JP Seldin and JR Hindley, editors. To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, 1980.
Introduction to Lambda Calculus - Barendregt, Barendsen (1994) (1 citation) (Correct)
....extensions, in: M. Laudet, D. Lacombe and M. Schuetzenberger (eds. Symposium on Automatic Demonstration, INRIA, Versailles, Lecture Notes in Computer Science 125, Springer Verlag, Berlin, pp. 29 61. Also in Nederpelt et al. 1994) de Bruijn, N.G. 1980) A survey of the automath project, in: Hindley and Seldin (1980), pp. 580 606. Church, A. 1936) An unsolvable problem of elementary number theory, American Journal of Mathematics 58, pp. 354 363. Church, A. 1940) A formulation of the simple theory of types, Journal of Symbolic Logic 5, pp. 56 68. Church, A. 1941) The Theory of Lambda Conversion, ....
Hindley, J.R. and J.P. Seldin (eds.) (1980). To H.B. Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism, Academic Press, New York.
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.
CPS Translations and Applications: The Cube and Beyond - Barthe (1996) (5 citations) (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.
A Derivation System for a Formal Language of Mathematics - Kamareddine, Nederpelt (2001) (1 citation) (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.
On Coquand's "An Analysis of Girard's Paradox" - Stump (Correct)
No context found.
J. Seldin and J. Hindley, editors. To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980. 11
An Abstract Syntax for a Formal Language of Mathematics - Nederpelt, Kamareddine (2001) (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.
Normal Gentzen Deductions in the Classical Case - Palmigiano (Correct)
No context found.
Seldin, J. P. and Hindley eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, New York, 1980.
Transformation Systems at NASA Ames - Buntine, Fischer, Havelund, Lowry, .. (1999) (1 citation) (Correct)
No context found.
In J. P. Seldin and J. R. Hindley, #eds.#, To H. B. Curry: Essays on Combinatory Logic, LambdaCalculus, and Formalism, pp. 479#490. Academic Press, 1980.
Modular Reasoning in Isabelle - Kammüller (1999) (1 citation) (Correct)
No context found.
J.P. Seldin and J.R. Hindley, editors. To H. B. Curry: Essays on Combinatory Logic, Academic Press Limited, 1980.
Refining the Barendregt Cube using Parameters - Kamareddine, Laan, Nederpelt (2001) (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 Foundation of a Generic Theorem Prover - Paulson (1989) (113 citations) (Correct)
No context found.
J. P. Seldin and J. R. Hindley, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism (Academic Press, 1980).
Type Checking with Universes - Harper, Pollack (1991) (6 citations) (Correct)
No context found.
J. P. Seldin and J. R. Hindley, editors. To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
A Syntactical Analysis of Normalization - Khasidashvili, Piperno (Correct)
No context found.
J.P. Seldin, J.R. Hindley, eds. To H.B. Curry: Essays in Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
Some Semantical Aspects of Linear Logic - Blass (1997) (2 citations) (Correct)
No context found.
J. Roger Hindley and Jonathan P. Seldin, editors. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, 1980.
A Framework for Defining Logics - Harper, Honsell, Plotkin (1987) (380 citations) (Correct)
No context found.
Seldin, J. P., and Hindley, J. R., Eds. To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalism (1980), Academic Press.
Automated Theorem Proving in Support of Computer.. - Adams.. (3 citations) (Correct)
No context found.
Seldin, J. P., and Hindley, J. R., Eds. To H.B. Curry: essays on combinatory logic, lambda calculus and formalism. Academic Press, 1980.
VSDITLU: a verifiable symbolic definite integral table.. - Adams, Gottliebsen.. (1999) (2 citations) (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.
Perpetual Reductions in λ-Calculus - van Raamsdonk, Severi.. (1999) (6 citations) (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.
Cours de Lambda-calcul - Ann'ee Th'er Ese (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.
From Constructivism to Computer Science - Troelstra (1999) (Correct)
No context found.
J.P. Seldin, J.R. Hindley, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, New York, 1980.
Normal Gentzen Deductions in the Classical Case - Palmigiano (1999) (Correct)
No context found.
Seldin, J. P. and Hindley eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, New York, 1980.
Normal Gentzen Deductions in the Classical Case - Palmigiano (1999) (Correct)
No context found.
Seldin, J. P. and Hindley eds. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, New York, 1980.
Lambda Terms for Natural Deduction, Sequent Calculus and.. - Barendregt, Ghilezan (1998) (Correct)
No context found.
Hindley (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, New York, pp. 453--457. Gentzen, G. [1936] Untersuchungen uber das logischen Schliessen, Mathematische Zeitschrift 39, pp. 405--431. Translation in: Collected papers of Gerhard Gentzen, ed.
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