Geometry.net Online Store

Geometry.Net - the online learning center
Home  - Lambda_Calculus - Combinatory Logic
  
Images 
Newsgroups
Page 1     1-69 of 69    1 

1. John's Combinatory Logic Playground
Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of randomness.
http://www.cwi.nl/~tromp/cl/cl.html
John's
Lambda Calculus
and
Combinatory Logic
Playground
Pictured above you can see on the left the 210 bit binary lambda calculus self-interpreter, and on the right the 272 bit binary combinatory logic self-interpreter Both are explained in detail in my latest paper available in PostScript and PDF . This design of a minimalistic universal computer was motivated by my desire to come up with a concrete definition of Kolmogorov Complexity , which studies randomness of individual objects. All ideas in the paper have been implemented in the the wonderfully elegant Haskell language, which is basically pure typed lambda calculus with lots of syntactic sugar on top. The implementation also offers a Main module that lets you run the universal binary lambda computer on the command-line argument joined to standard input as a list of bytes: main = do [program] The first example is the half-byte program for identity=^x.x, while the second is the ten-and-a-half-byte program for stutter=^l l(^h^t^n^z z h (^z z h (stutter t)))nil. This online course at Oberlin College provides a very readable introduction to combinators.

2. Combinatory Logic - Wikipedia, The Free Encyclopedia
Combinatory Logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic.
http://en.wikipedia.org/wiki/Combinatory_logic
var wgNotice = ""; var wgNoticeLocal = ""; var wgNoticeLang = "en"; var wgNoticeProject = "wikipedia";
Combinatory logic
From Wikipedia, the free encyclopedia
Jump to: navigation search Not to be confused with combinational logic , a topic in digital electronics. Combinatory logic is a notation introduced by Moses Sch¶nfinkel and Haskell Curry to eliminate the need for variables in mathematical logic . It has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming languages . It is based on combinators . A combinator is a higher-order function which, for defining a result from its arguments, solely use function application and earlier defined combinators.
Contents
edit Combinatory logic in mathematics
Combinatory logic was originally intended as a 'pre-logic' that would clarify the role of quantified variables in logic, essentially by eliminating them. Another way of eliminating quantified variables is Willard Van Orman Quine 's predicate functors . While most systems of combinatory logic exceed the expressive power of first-order logic The original inventor of combinatory logic, Sch¶nfinkel, published nothing on combinatory logic after his original

3. 20th WCP: Dual Identity Combinators
Article by Katalin Bimb³ presented at the 20th World Congress of Philosophy. Investigates the addition of identity combinators, in the formulaeas-types sense, to Combinatory Logic.
http://www.bu.edu/wcp/Papers/Logi/LogiBimb.htm
Logic and Philosophy of Logic Dual Identity Combinators Katalin Bimbó
Indiana University
kbimbo@phil.indiana.edu
ABSTRACT: This paper offers an analysis of the effect of the identity combinators in dual systems. The result is based on an easy technical trick, namely, that the identity combinators collapse all the combinators which are dual with respect to them. l l -calculi in which the functions and/or the application operation are bidirectional. The last section of the paper shows the devastating effect the identity combinators have for a dual system: they half trivialize simple combinatory bases, although they are not sufficient to cause real triviality for what cancellative combinators are needed. Introduction R B C W I C S I 1. Dual combinators. Pure combinators operate on left associated sequences of objects. The result of an application of a combinator is a sequence made out of some of the objects on the left (possibly with repetitions) and parentheses scattered across: Q x x n x i x i m where any x i j j m ) is x k k n ) for some k , and the sequence on the right might be associated arbitrarily. The parentheses on the left of the identity are frequently dropped, since left association is taken to be the default. To recall the most familiar combinators as an illustration of the above general statement we have:

4. Combinatory Logic -- From Wolfram MathWorld
The system of Combinatory Logic is extremely fundamental, in that there are a relatively small finite numbers of atoms, axioms, and elementary rules.
http://mathworld.wolfram.com/CombinatoryLogic.html
Search Site Algebra
Applied Mathematics

Calculus and Analysis
... General Logic
Combinatory Logic A fundamental system of logic based on the concept of a generalized function whose argument is also a function (Schönfinkel 1924). This mathematical discipline was subsequently termed combinatory logic by Curry and " -conversion" or " lambda calculus " by Church. The system of combinatory logic is extremely fundamental, in that there are a relatively small finite numbers of atoms, axioms, and elementary rules. Despite the fact that the system contains no formal variables, it can be used for doing anything that can be done with variables in more usual systems (Curry 1977, p. 119). SEE ALSO: Combinator Lambda Calculus [Pages Linking Here] REFERENCES: Curry, H. B. "Combinatory Logic." §3D5 in Foundations of Mathematical Logic. New York: Dover, pp. 117-119, 1977. Curry, H. and Feys, R. Combinatory Logic, Vol. 1. Amsterdam, Netherlands: North-Holland, 1958. Hindley, J. R.; Lercher, B.; Seldin, J. P. Introduction to Combinatory Logic.

5. Mathematical Sciences, Richard Statman
Carnegie Mellon University Theory of computation, lambda calculus, Combinatory Logic.
http://www.math.cmu.edu/people/fac/statman.html
Faculty
Visiting Faculty

Staff

Graduate Students
...
Home
Richard Statman
Professor
Ph.D., Stanford University Office: Wean Hall 7214
Phone: (412) 268-8475
E-mail: statman@cs.cmu.edu
Research
My principal research interests lie in the theory of computation with special emphasis on symbolic computation. In particular, my current research involves lambda calculus and combinatory algebra. This area underwent extensive development in the first half of this century, and then lay dormant until Dana Scott's fundamental work in the 1970's. Part of what has emerged from Scott's work is that lambda calculus forms the foundation of functional programming at both the semantic and syntactic levels. As a result, the area has been revived by an influx of theoretical problems directly related to design and implementation issues.
Selected Publications
The omega rule is sigma-zero-three hard (with Benedetto Intrigilia), LICS'04 On the lambda Y calculus, LICS '02 Church's lambda delta calculus, LPR '00 The word problem for combinators, RTA '00

6. Rusty Lusk's Home Page
Barendregt Barendregt81 defines Combinatory Logic as an equational system satisfying the combinators S and K with (( Sx)y)z = (xz)(yz) and (Kx)y = x.
http://www-fp.mcs.anl.gov/~lusk/papers/equality/node5.html
Mathematics and Computer Science Division Projects
Software

Vita

Books
...
HTML versions of older papers

Ewing ("Rusty") Lusk
Argonne Distinguished Fellow
Division Director
Mathematics and Computer Science Division
Argonne National Laboratory
9700 South Cass Avenue Argonne, Illinois 60439 Phone Fax email lusk at mcs.anl.gov Biographical Sketch Ewing Lusk received his B.A. in mathematics from the University of Notre Dame in 1965 and his Ph.D. in mathematics from the University of Maryland in 1970. He is currently a senior computer scientist in the Mathematics and Computer Science Division at Argonne National Laboratory. His current projects include implementation of the MPI Message-Passing Standard, parallel performance analysis tools, and system software for clusters. He is a leading member of the team responsible for MPICH implementation of the MPI message-passing interface standard. He is the author of five books and more than a hundred research articles in mathematics, automated deduction, and parallel computing. Current Research Interests
  • Parallel performance tools including Jumpshot and Upshot
  • Cobalt Scalable component-based systems software Some Recent Publications 1. N. Desai, A. Lusk, R. Bradshaw, and E. Lusk, "MPISH: A Parallel Shell for MPI Programs," in Proc. of the 12th European PVM/MPI Users' Group meeting, Recent Advances n Parallel Virtual Machine and Message Passing Interface, Lecture Notes in Computer Science 3666, Springer, 2005, pp. 333-342
  • 7. Topics In Logic And Proof Theory
    Brief introductions to Combinatory Logic, the incompleteness theorems and independence results, by Andrew D Burbanks.
    http://www.maths.bris.ac.uk/~maadb/research/topics/logic/

    8. MainFrame: The Lambda-calculus, Combinatory Logic, And Type Systems
    Combinatory Logic shows that bound variables can be eliminated without loss of expressiveness. It has applications both in the foundations of mathematics
    http://rbjones.com/rbjpub/logic/cl/cl017.htm
    The Lambda-calculus, Combinatory Logic, and Type Systems
    Overview:
    Three interrelated topics at the heart of logic and computer science. The -Calculus A pure calculus of functional abstraction and function application, with applications throughout logic and computer science. Types The -calculus is good tool for exploring type systems, invaluable both in the foundations of mathematics and for practical programming languages. Pure Type Systems A further generalisation and systematic presentation of the class of type systems found in the -cube. Combinators Combinatory logic shows that bound variables can be eliminated without loss of expressiveness. It has applications both in the foundations of mathematics and in the implementation of functional programming languages. Programming Languages The connections between the lambda-calculus and programming languages are diverse and pervasive. Type systems are an important aspect of programming language design. The -cube A graphical presentation of the relationship between combinatory logic, lambda calculi and related logical systems. The -cube A graphical presentation of the relationship between various typed -calculi, illuminating the structure of Coquand's Calculus of Constructions.

    9. J Roger Hindley
    University of Wales, Swansea Lambda-calculus, Combinatory Logic and type-theory.
    http://www-maths.swan.ac.uk/staff/jrh/
    Swansea University Physical Sciences Mathematics Department Contact
    J Roger Hindley
    Text Only Swansea University Physical Sciences ... Contact 16 October 2007 Webmaster

    10. Combinatory Logic Elements
    In the last chapter we met several truth tables of single logic elements. But we can also use Truth Tables to represnt Combinatory Logic.
    http://www.rz.uni-hohenheim.de/hardware/basics/csc102/ch8.html
    Chapter 8
    Combinatory Logic Elements
    Contents
    • Disjunctive Form Expressions
    • De Morgan's Law in Combinatory Logic
    • Karnaugh Maps In the last chapter we met several truth tables of single logic elements. But we can also use Truth Tables to represnt combinatory logic. We saw a simple example of one such Truth table in Chapter 7 . But note, this only applies to logic without memory.
      Disjunctive Form Expressions
      We can represent any output bit of some combinatory logic in an expression using just the inputs and Boolean operators. The following is an example. Here is the diagram for the logic:
      And here is the Truth Table and the Boolean expression for the logic: It is easy to see that the Boolean expression can quite simply be read off from either the Truth Table or the logic diagram (as we will see later, we actually make the logic diagram from the Boolean Expression). Looking at the diagram, we see that the result is an OR from 3 other expressions (hence the '+' signs). For the top bit, a TRUE output is obtained if A is FALSE, B is TRUE, and C is FALSE (hence the first part of the expression is ¬A.B.¬C). If we go through the rest of the diagram we see that it all matches. The method is even simpler from the Truth Table. All you need to do is say when a TRUE output (X) occurs and convert the words to symbols. To illustrate:

    11. Combinatory Logic - HaskellWiki
    Albeit having precursors, it was Moses Schönfinkel who explored first Combinatory Logic. Later it has been continued by Haskell B. Curry.
    http://haskell.org/haskellwiki/Combinatory_logic
    Haskell Wiki community Recent changes
    Random page
    ... Special pages Not logged in
    Log in
    Help Edit this page Discuss this page ... Related changes
    Combinatory logic
    Categories Combinators Theoretical foundations
    Contents
    edit
    1 General
    Albeit having precursors, it was Moses Sch¶nfinkel who explored first combinatory logic. Later it has been continued by Haskell B. Curry. It was developed to be a theory for the foundation of mathematics [Bun:NatICL], and it has also relevance in linguistics too. Its goal was to understand paradoxons better, and to establish fundamental mathematical concepts on simpler and cleaner principles. Especially, to understand the concept of substitution by replacing it with simpler notions. The “lack of (bound) variables” relates combinatory logic to pointfree frameworks. (As a contrast, see a very different approach which also enables full elimination of variables: recursive function theory General materials:

    12. Syntactic Pattern-Matching And Combinatory Logic -- From Wolfram Library Archive
    Given a pattern and a string, this work addresses the problem of finding all instantiations of the variables forming the pattern to match those appearing in
    http://library.wolfram.com/infocenter/Articles/2603/
    PreloadImages('/common/images2003/link_products_on.gif','/common/images2003/link_purchasing_on.gif','/common/images2003/link_forusers_on.gif','/common/images2003/link_aboutus_on.gif','/common/images2003/link_oursites_on.gif');
    Title
    Syntactic Pattern-Matching and Combinatory Logic
    Author
    Jaime Rangel-Mondragón
    Organization: Universidad Autonoma de Querétaro Department: Facultad de Informatica Journal / Anthology
    Instituto Tecnologico y de Estudios Superiores de Monterrey. Research Report Year: Description
    Given a pattern and a string, this work addresses the problem of finding all instantiations of the variables forming the pattern to match those appearing in the string. The work adopts a pragmatic approach relying heavily on functional programming techniques using the language Mathematica . Two solutions are described; the first one using a recursive approach and the second one using Mathematica 's argument-matching mechanism. An application to Combinatory Logic is offered towards solving the problem of finding the geneology of a given combinator via a family of given combinators.
    Subjects
    Applied Mathematics
    Computer Science Mathematica Technology ... Logic Keywords
    Pattern-matching, unification, parsing, combinatory logic, combinators, genealogies.

    13. Binary Lambda Calculus And Combinatory Logic | Lambda The Ultimate
    Pictured you can see the 210 bit binary lambda calculus selfinterpreter, and the 272 bit binary Combinatory Logic self-interpreter.
    http://lambda-the-ultimate.org/node/2458
    @import "misc/drupal.css"; @import "themes/chameleon/ltu/style.css";
    Lambda the Ultimate
    Home Feedback FAQ ... Archives
    User login
    Username:
    Password:
    Navigation
    Home
    Binary Lambda Calculus and Combinatory Logic
    While Anton was waxing about , I figured that Occam's Razor would be the type of proof one would postulate when giving the nod to Lambda Calculus over Universal Turing Machines. This leads inexorably to the question of what is the smallest (as measured in binary bits) Turing Machine that can possibly be constructed. John Tromp provides an answer to this question in his always fun Lambda Calculus and Combinatory Logic Playground Pictured you can see the 210 bit binary lambda calculus self-interpreter, and the 272 bit binary combinatory logic self-interpreter. Both are explained in detail in my latest paper available in PostScript and PDF . This design of a minimalistic universal computer was motivated by my desire to come up with a concrete definition of Kolmogorov Complexity, which studies randomness of individual objects. All ideas in the paper have been implemented in the the wonderfully elegant Haskell language, which is basically pure typed lambda calculus with lots of syntactic sugar on top.

    14. Class: Combinatory Logic - PHP Classes
    Calculate and generate array element combinations.
    http://www.phpclasses.org/browse/package/1901.html
    : Network Member Forums
    Class: Combinatory Logic
    Search All class groups Latest entries Top 10 charts ... Recommend this page to a friend! Trackback URL: http://www.phpclasses.org/trackback/browse/package/1901.html Classes of Andrea Giammarchi Combinatory Logic Download Support forum Latest changes Bookmark in del.icio.us Supplied by Groups Detailed description User ratings ... Files
  • Supplied by
  • Name Andrea Giammarchi e-mail contact Published packages Country Italy PHP professionals from Italy looking for PHP jobs Home page http://www.3site.it/ Age All time rank Week rank Browse this author's classes
  • Groups
  • Algorithms Numerical and statistical algorithms View top rated classes
  • Detailed description
  • This class calculates and generates all combinations of array elements for n variables with a k class.
    The class takes an array elements and returns another array with values set to the specified type of combination of elements.

    15. Combinator Birds
    The javascript program to do the combinator reduction was borrowed from the Combinatory Logic Tutorial by Chris Barker. The calculator requires that the
    http://www.angelfire.com/tx4/cus/combinator/birds.html
    Combinator Birds Function Abstraction Symbol Bird Combinator SK Combinator abc.a(bc) B Bluebird S(KS)K ((S(KS))K) abcd.a(bcd) B Blackbird BBB ((S(K((S(KS))K)))((S(KS))K)) abcde.a(bcde) B Bunting B(BBB)B ((S(K((S(K((S(KS))K)))((S(KS))K))))((S(KS))K)) abcd.a(b(cd)) B Becard B(BB)B ((S(K((S(K((S(KS))K)))((S(KS))K))))((S(KS))K)) abc.acb C Cardinal S(BBS)(KK) ((S((S(K((S(KS))K)))S))(KK)) abcd.ab(cd) D Dove BB (S(K((S(KS))K))) abcde.abc(de) D Dickcissel B(BB) (S(K(S(K((S(KS))K))))) abcde.a(bc)(de) D Dovekies BB(BB) ((S(K((S(KS))K)))(S(K((S(KS))K)))) abcde.ab(cde) E Eagle B(BBB) (S(K((S(K((S(KS))K)))((S(KS))K)))) abcdefg.a(bcd)(efg) Bald Eagle B(BBB)(B(BBB)) ((S(K((S(K((S(KS))K)))((S(KS))K))))(S(K((S(K((S(KS))K)))((S(KS))K))))) abc.cba F Finch ETTET ((S(K((S((SK)K))(K((S(K(S((SK)K))))K)))))((S(K((S(K((S(KS))K)))((S(KS))K))))((S(K(S((SK)K))))K))) abcd.ad(bc) G Goldfinch BBC ((S(K((S(KS))K)))((S((S(K((S(KS))K)))S))(KK))) abc.abcb H Hummingbird BW(BC) ((S(K((S(K(S((S(K((S((SK)K))((SK)K))))((S(K((S(KS))K)))((S(K(S((SK)K))))K))))))K)))(S(K((S((S(K((S(KS))K)))S))(KK))))) a.a

    16. Combinatory Logic From FOLDOC
    Nearby terms colour theories of « combination « combinator « Combinatory Logic » communalism » communication system » communism.
    http://www.swif.uniba.it/lei/foldop/foldoc.cgi?combinatory logic

    17. Discrete Mathematics/Combinatory Logic - Wikibooks, Collection Of Open-content T
    Two of the basic principles of Combinatory Logic in discrete mathematics are the Sum principle and the Multiplication principle.
    http://en.wikibooks.org/wiki/Discrete_mathematics/Combinatory_logic
    var wgNotice = ""; var wgNoticeLocal = ""; var wgNoticeLang = "en"; var wgNoticeProject = "wikibooks";
    Discrete mathematics/Combinatory logic
    From Wikibooks, the open-content textbooks collection
    Discrete mathematics Jump to: navigation search Two of the basic principles of combinatory logic in discrete mathematics are the Sum principle and the Multiplication principle. The sum principle holds true in a given partitioned set X where partition Xi intersected with Xj is the empty set unless i is equal to j. The principle states that in such a partitioned set, the sum of the elements of each partition is equal to the number of elements in the set X. Retrieved from " http://en.wikibooks.org/wiki/Discrete_mathematics/Combinatory_logic Subject Discrete mathematics (book) Views Personal tools Navigation Community Search Toolbox

    18. Binary Combinatory Logic - Esolang
    Binary Combinatory Logic (BCL) is a complete formulation of Combinatory Logic (CL) using only the symbols 0 and 1, together with two termrewriting rules.
    http://www.esolangs.org/wiki/Binary_combinatory_logic
    Binary combinatory logic
    From Esolang
    Jump to: navigation search Binary combinatory logic (BCL) is a complete formulation of combinatory logic (CL) using only the symbols and , together with two term-rewriting rules. BCL has applications in the theory of program-size complexity ( Kolmogorov complexity
    Contents
    edit Definition
    edit Syntax
    edit Semantics
    Rewriting rules for subterms of a given term (parsing from the left): where x y , and z are arbitrary terms. (Note, for example, that because parsing is from the left, is not a subterm of The terms and correspond, respectively, to the K and S basis combinators of CL, and the "prefix " acts as a left parenthesis (which is sufficient for disambiguation in a CL expression). There are four equivalent formulations of BCL, depending on the manner of encoding the triplet (left-parenthesis, K, S). These are (as above), , and
    edit See also
    edit External resources
    Retrieved from " http://www.esolangs.org/wiki/Binary_combinatory_logic

    19. Combinatory Logic
    Combinatory Logic. A system for reducing the operational notation of logic, mathematics or a functional language to a sequence of modifications to the input
    http://burks.bton.ac.uk/burks/foldoc/91/21.htm
    The Free Online Dictionary of Computing ( http://foldoc.doc.ic.ac.uk/ dbh@doc.ic.ac.uk Previous: combinator Next: Comdex
    combinatory logic
    A system for reducing the operational notation of logic , mathematics or a functional language to a sequence of modifications to the input data structure. First introduced in the 1920's by Schoenfinkel. Re-introduced independently by Haskell Curry in the late 1920's (who quickly learned of Schoenfinkel's work after he had the idea). Curry is really responsible for most of the development, at least up until work with Feys in 1958. See combinator

    20. Ultra-Formal Verification Of A Result In A System Of Combinatory Logic
    This result is a main technical lemma of M. R. Holmes 2, who found a system of Combinatory Logic, which he calls TRC, equivalent to Quine s set theory New
    http://www.cityauditorphilwood.com/warren/sectionfr1.html
    Here is the non-frame based version of the document.

    21. Combinatory Logic - Wikipedia
    Combinatory Logic is a simplified model of computation, used in computability theory (the study of what can be computed) and proof theory (the study of what
    http://facetroughgemstones.com/wikipedia/co/Combinatory_logic.html
    Contents
    Combinatory logic
    Combinatory logic is a simplified model of computation , used in computability theory (the study of what can be computed) and proof theory (the study of what can be mathematically proven .) The theory, despite its simplicity, captures many essential features of the nature of computation. Combinatory logic is a variation of the Lambda calculus , in which lambda expressions (used to allow for functional abstraction) are replaced by a limited set of primitive functions. Note that the "combinatorial logic" used in electronics is different; see combinatorial logic (electronics) Table of contents showTocToggle("show","hide") 1 Summary of the Lambda Calculus
    2 Combinatory Calculi

    2.1 Combinatory Terms

    2.2 Examples of Combinators
    ...
    6 References
    Summary of the Lambda Calculus
    For complete details about the lambda calculus , see the article under that head. We will summarize here. The lambda calculus is concerned with objects called lambda-terms , which are strings of symbols of one of the following forms:
    • v
    where v is a variable name drawn from a predefined infinite set of variable names, and

    22. Combinatory Logic - Wiktionary
    edit English. Wikipedia has an article on. Combinatory Logic Combinatory Logic (uncountable). (computer science) Model of computation based on
    http://en.wiktionary.org/wiki/combinatory_logic
    var wgNotice = ""; var wgNoticeLocal = ""; var wgNoticeLang = "en"; var wgNoticeProject = "wiktionary";
    combinatory logic
    From Wiktionary
    Jump to: navigation search
    edit English
    Wikipedia has an article on: Combinatory logic Wikipedia
    edit Noun
    Singular
    combinatory logic Plural
    uncountable
    combinatory logic uncountable
  • computer science Model of computation based on combinators
  • edit Translations
    Retrieved from " http://en.wiktionary.org/wiki/combinatory_logic Categories English nouns Computer Science Views Personal tools Navigation Search Toolbox

    23. JSTOR Elements Of Combinatory Logic.
    Elements of Combinatory Logic. Yale University Press, New Haven and London 1974, viii + 162 pp. What is Combinatory Logic about?
    http://links.jstor.org/sici?sici=0022-4812(197612)41:4<789:EOCL>2.0.CO;2-E

    24. Reversible Combinatory Logic
    Combinatory Logic is a variant of the $\lambda$calculus that maintains irreversibility. Recently, reversible computational models have been studied mainly
    http://portal.acm.org/citation.cfm?id=1166047

    25. The Church-Rosser Property In Dual Combinatory Logic
    J. M. Dunn and R. K. Meyer Combinatory Logic and structurally free logic, Logic Journal of IGPL, vol. 5 (1997), pp. 505537.
    http://projecteuclid.org/handle/euclid.jsl/1045861508
    Log in RSS Title Author(s) Abstract Subject Keyword All Fields FullText more options
    • Home Browse Search ... next
      The Church-Rosser property in dual combinatory logic
      Source: J. Symbolic Logic Volume 68, Issue 1 (2003), 132-152.
      Abstract
      Dual combinators no dual combinatory system possesses the Church-Rosser property . Although the lack of confluence might be problematic in some cases, it is not a problem per se . In particular, we show that no damage is inflicted upon the structurally free logics , the system in which dual combinators first appeared. Full-text: Access denied (no subscription detected) We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text Links and Identifiers Permanent link to this document: http://projecteuclid.org/euclid.jsl/1045861508 Mathematical Reviews number (MathSciNet): Digital Object Identifier: doi:10.2178/jsl/1045861508

    26. Springer Online Reference Works
    In Combinatory Logic one chooses as basic the concepts of a oneplace One of the first problems in Combinatory Logic was that of the reduction of the
    http://eom.springer.de/C/c023310.htm

    Encyclopaedia of Mathematics
    C
    Article referred from

    Combinatory logic
    A branch of logic devoted to the study and analysis of such concepts and methods as a variable, a function, the substitution operation, the classification of objects into types or categories, and related matters. In combinatory logic one chooses as basic the concepts of a one-place function and the operation of applying a function to an argument (application). Here the concept of a function is regarded as primitive, instead of that of a set, and is generalized in such a way that a function can be applied to objects at the same level with it. In particular, a function can serve as an argument of itself. Since functions can be used both as arguments and values, the notion of a many-placed function reduces to that of a one-placed function. The result of applying a function to an argument is denoted by . For simplicity the brackets are often omitted, so that the expression stands for . A function satisfying the equation where , are arbitrary functions and is an object constructed from these functions (perhaps not from all of them), is called a combinator. (The existence of combinators is tacitly postulated.) Any combinator can be expressed in terms of the two combinators

    27. Combinatory Logic From FOLDOC
    Combinatory Logic. logic A system for reducing the operational notation of logic, mathematics or a functional language to a sequence of modifications to
    http://foldoc.org/?combinatory logic

    28. A SYSTEM OF COMBINATORY LOGIC
    Title A SYSTEM OF Combinatory Logic. Corporate Author YALE UNIV NEW HAVEN CT INTERACTION LAB. Personal Author(s) FITCH, FREDERIC B.
    http://stinet.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=AD0

    29. [math/9409201] OTTER Experiments In A System Of Combinatory Logic
    This paper describes some experiments involving the automated theoremproving program OTTER in the system TRC of illative Combinatory Logic.
    http://arxiv.org/abs/math/9409201
    arXiv.org math
    Search or Article-id Help Advanced search All papers Titles Authors Abstracts Full text Help pages
    Full-text links: Download:
    Citations n ext
    Mathematics > Logic
    Title: OTTER Experiments in a System of Combinatory Logic
    Authors: Thomas Jech (Submitted on 2 Sep 1994) Abstract: This paper describes some experiments involving the automated theorem-proving program OTTER in the system TRC of illative combinatory logic. We show how OTTER can be steered to find a contradiction in an inconsistent variant of TRC, and present some experimentally discovered identities in TRC. Subjects: Logic (math.LO) Report number: Logic E-prints September 02, 1994 Cite as: arXiv:math/9409201v1 [math.LO]
    Submission history
    From: Thomas Jech [ view email
    Fri, 2 Sep 1994 00:00:00 GMT (8kb)
    Which authors of this paper are endorsers?
    Link back to: arXiv form interface contact

    30. Functionality In Combinatory Logic
    Functionality in Combinatory Logic*. H. B. Curry. Department of Mathematics, The Pennsylvania State College. Full text. Full text is available as a scanned
    http://www.pubmedcentral.nih.gov/articlerender.fcgi?artid=1076489

    31. Brainwagon » John’s Combinatory Logic Playground
    There is much pleasure in useless knowledge.” — Bertrand Russell.
    http://brainwagon.org/?p=2499

    32. Combinatory Logic @ Computer-Dictionary-Online.org
    Combinatory Logic @ Computer Dictionary Online. Computer terminology definitions including hardware, software, equipment, devices, jargon abbreviations and
    http://www.computer-dictionary-online.org/?q=combinatory logic

    33. Combinatory Logic
    Combinatory Logic. See EssAndKayCombinators. EditText of this page (last edited November 21, 2003) FindPage by searching (or browse LikePages or take a
    http://c2.com/cgi/wiki?CombinatoryLogic

    34. Download Combinatory Logic - Combinatory Logic Class Calculates And Generates Al
    Download Combinatory Logic Combinatory Logic class calculates and generates all combinations of array elements for n variables with ak class.
    http://webscripts.softpedia.com/script/PHP-Clases/Combinatory-Logic-12449.html
    Updated one minute ago Scripts downloads: Webmaster World News Security News Recent Additions Combinatory Logic
    Add to download basket
    Send us update information Rating: Rated by: 3 user(s) Rate it Excellent Very Good Good Fair Poor Recent news Ubuntu 8.04 Alpha 2 Has Pul... Heretic 2 Cheats (PC) Love the Web or Love on the... ... Monster Jam Action Replay C... Downloads: Developer: Andrea Giammarchi More scripts by this producer License(s): GPL (GNU Public License) Programming Language: PHP Database Support: MySQL Platform: Windows/Linux/Mac OS/BSD/Solaris Last Updated: 29th of June 2007, 07:36 GMT Category: HOME PHP Classes Read user reviews (0) Add a review ... Subscribe Combinatory Logic description Download This class calculates and generates all combinations of array elements for n variables with a k class.
    The class takes an array elements and returns another array with values set to the specified type of combination of elements.
    The combination types implemented by this class are:
    - Pn
    - Pn(k)
    - Dn,k
    - D'n,k
    - Cn,k
    - C'n,k Combinatory Logic Download Combinatory Logic Screenshots Find Related Downloads MOST POPULAR DOWNLOADS IN THIS CATEGORY ( PHP Classes ) multiXPandMenu multiXPandMenu can create multi-level hierarchical menus based on a list of menu items and submenu items using DHTML.

    35. Combinatory Logic Tutorial
    Combinatory Logic (CL), invented by Shoenfinkel and developed by Curry and others in the 1920 s (note before the calculus!), is equivalent in expressive
    http://homepages.nyu.edu/~cb125/Lambda/ski.html
    Combinatory Logic Tutorial
    (((SK)K)(yS)) By convention, combination is left-associative, so the above can be written equivalently as SKK(yS) Instead of alpha, beta, and nu reduction, there are two essential rules of inference: KXY ==> X SXYZ ==> XZ(YZ) where "X", "Y", and "Z" are metavariables ranging over arbitrary expressions. SKKX ==> KX(KX) ==> X Since this derivation works for any expression X, SKK is the identity function.
    Done. Any expression in the lambda calculus can be converted. Logic with just one paren symbol and just one operator.

    36. IngentaConnect A Combinatory Logic Approach To Higher-order E-unification
    A translation of higherorder E-unification problems into a Combinatory Logic framework is presented and justified. The case in which E admits presentation
    http://www.ingentaconnect.com/content/els/03043975/1995/00000139/00000001/art002
    var tcdacmd="dt";

    37. DSpace At RU: Combinatory Logic And The W-rule
    Title, Combinatory Logic and the wrule. Authors, Barendregt, HP. Issue Date, 1974. URI, http//hdl.handle.net/2066/17238
    http://hdl.handle.net/2066/17238
    About DSpace Software Search DSpace Advanced Search Home Browse Communities Titles Authors Subjects ... By Date Sign on to: Receive email updates My DSpace authorized users Edit Profile Help About DSpace DSpace at RU ... Cream of Science Please use this identifier to cite or link to this item: http://hdl.handle.net/2066/17238
    Title: Combinatory logic and the w-rule Authors: Barendregt, H.P. Issue Date: URI: http://hdl.handle.net/2066/17238 Appears in Collections: Cream of Science Files in This Item: There are no files associated with this item. DSpace Software MIT and Hewlett-Packard Feedback

    38. J Roger Hindley : Research
    Mathematical logic; particularly lambdacalculus, Combinatory Logic and Lambda-calculus and Combinatory Logic are formal systems, to some extent rivals,
    http://www-maths.swan.ac.uk/staff/jrh/JRHresearch.html
    Swansea University Physical Sciences Mathematics Department J Roger Hindley
    J Roger Hindley : Research
    Fields of Interest
    Mathematical logic; particularly lambda-calculus, combinatory logic and type-theories, with a current bias towards historical aspects. Lambda-calculus and combinatory logic are formal systems, to some extent rivals, used in the construction and study of programming languages which are higher-order (i.e. in which programs may change other programs). These two systems were invented in the 1920s by mathematicians for use in higher-order logic, and came to be applied in programming theory from the 1970s onward, when that theory expanded to cover higher-order computations. In a type-theory, types are labels which may be attached to certain programs to show what other programs they can change. A type-system is a particular set of rules for attaching types; the rules themselves are usually reasonably simple, but such questions as what programs are typable, what set of types a program may receive, and whether a typable computation can continue indefinitely, are not always easy to answer and have occupied many researchers.
    Main Publications
    J R Hindley, J P Seldin

    39. CJO - Abstract - Unique Decomposition Categories, Geometry Of Interaction And Co
    Unique decomposition categories, Geometry of Interaction and Combinatory Logic. ESFANDIAR HAGHVERDI Mathematical Structures in Computer Science 100202,
    http://journals.cambridge.org/abstract_S0960129599003035
    @import url("/css/users_abstract.css"); close
    Cambridge Journals Online
    Skip to content Mathematical Structures in Computer Science (2000), 10: 205-230 Cambridge University Press doi:10.1017/S0960129599003035 Copy and paste this link: http://journals.cambridge.org/action/displayAbstract?aid=44867 Research Article
    Unique decomposition categories, Geometry of Interaction and combinatory logic
    ESFANDIAR HAGHVERDI
    Department of Mathematics, University of Ottawa, 585 King Edward St., Ottawa, ON, K1N 6N5, Canada. Email ehaghver@mathstat.uottawa.ca
    Abstract
    In another paper (Abramsky et al . 1999), we have developed Abramsky's analysis of Girard's Geometry of Interaction programme in detail. In this paper, our goal is to study the data ow based computational aspects of that analysis. We introduce unique decomposition categories that provide a suitable categorical framework for such computational analysis. The current study also serves to establish connections with the work on proof nets and paths by Girard and Danos and Regnier in this categorical setting. The latter goal is partially achieved here by the presentation of categorical models for dynamic algebras.

    40. Good Book On Combinatory Logic - Sci.logic | Google Groups
    Does anybody know a simple book on Combinatory Logic? I read Smullyans how to mock a mockingbird is interesting but is a bit to much about combinators and
    http://groups.google.is/group/sci.logic/browse_thread/thread/7a08e1fb154239b7
    Help Sign in sci.logic Discussions ... Subscribe to this group This is a Usenet group - learn more good book on combinatory logic Options There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic. There was an error processing your request. Please try again. Standard view View as tree Proportional text Fixed text messages Collapse all The group you are posting to is a Usenet group . Messages posted to this group will make your email address visible to anyone on the Internet. Your reply message has not been sent. Your post was successful translogi View profile More options Dec 8, 12:42 pm Newsgroups: sci.logic From: Date: Sat, 8 Dec 2007 04:42:19 -0800 (PST) Local: Sat, Dec 8 2007 12:42 pm Subject: good book on combinatory logic Reply Reply to author Forward Print ... Find messages by this author Does anybody know a simple book on combinatory logic?
    I read Smullyans "how to mock a mockingbird" is interesting but is a
    bit to much about combinators and not a lot about where it is good for
    or how you can use it.

    41. Combinators And Structurally Free Logic -- Dunn And Meyer 5 (4): 505 -- Logic Jo
    A Kripkestyle semantics is given for Combinatory Logic using frames with a ternary accessibility relation, much as in the Tourley-Meyer semantics for
    http://jigpal.oxfordjournals.org/cgi/content/abstract/5/4/505
    @import "/resource/css/hw.css"; @import "/resource/css/igpl.css"; Skip Navigation Oxford Journals Logic Journal of IGPL 1997 5(4):505-537; doi:10.1093/jigpal/5.4.505
    Oxford University Press

    This Article Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive ... Request Permissions Google Scholar Articles by Dunn, J. Articles by Meyer, R. Search for Related Content
    Combinators and structurally free logic
    JM Dunn and RK Meyer Departments of Philosophy and Computer Science, Indiana University, Bloomington, IN 47405, USA Automated Reasoning Project, The Australian National University, Canberra, ACT 2604, Australia A 'Kripke-style' semantics is given for combinatory logic using frames with a ternary accessibility relation, much as in the Tourley-Meyer semantics for relevance logic. We prove by algebraic means a completeness theorem for combinatory logic, by proving

    42. Combinatory Logic - Definitions From Dictionary.com
    Definitions of Combinatory Logic at Dictionary.com.
    http://dictionary.reference.com/browse/combinatory logic
    var pid = 125500; var nid = 125542; var mid = 679788; var word = 'combinatory%20logic'; SafeAddOnload(init_near);
    Advertisement
    1 result for: combinatory logic

    43. Math: Logic And Foundations: Computational Logic: Combinatory Logic And Lambda C
    Kolmogorov Complexity in Combinatory Logic Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of randomness.
    http://www.spacetransportation.org/Math/Logic_and_Foundations/Computational_Logi
    Math: Logic and Foundations: Computational Logic: Combinatory Logic and Lambda Calculus
    Home Add Url About Us Contact Us ... Computational Logic : Combinatory Logic and Lambda Calculus
    Categories
    Links
    Lambda Calculus
    Introduction to the lambda calculus for computer scientists. Shows how the calculus can be formalised in Scheme.
    http://www.mactech.com/articles/mactech/Vol.07/07.05/LambdaCalculus/
    Dual Identity Combinators

    Article by Katalin Bimb³ presented at the 20th World Congress of Philosophy. Investigates the addition of identity combinators, in the formulae-as-types sense, to combinatory logic.
    http://www.bu.edu/wcp/Papers/Logi/LogiBimb.htm
    Kolmogorov Complexity in Combinatory Logic

    Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of randomness.
    http://www.cwi.nl/~tromp/cl/cl.html
    Lambda

    An online introduction to the lambda calculus by Lloyd Allison, complete with a web form that will evaluate lambda expressions. http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/

    44. JSTOR The Principal Type-Scheme Of An Object In Combinatory Logic
    In their book Combinatory Logic 1, Curry and Feys introduced the notion of functional character (here called typescheme ) of an object of combinatory
    http://dx.doi.org/10.2307/1995158

    45. Combinatory Logic On GlobalSpec
    GlobalSpec offers a variety of Combinatory Logic for engineers and through SpecSearch the Combinatory Logic can be searched for the exact specifications
    http://semiconductors.globalspec.com/Industrial-Directory/combinatory_logic

    Free Registration
    Download Engineering Toolbar GlobalSpec Home Find: Advanced Search >> The Engineering Web Part Number Search Engineering News Application Notes Material Properties Patents Standards changeSearchInfo('products', true, null); Welcome to GlobalSpec! We found this content for: combinatory logic Click on a category to narrow your results. The Engineering Toolbar
    The Ultimate Resource for Engineering and Technical Research. ( Learn More All Part Number Search Engineering News ... Standards Product Categories for combinatory logic
    Logic
    Analyzers (56 companies)
    Logic analyzers are used to characterize and debug hardware, design and test firmware and software, and perform synthesis integration. Learn more about Logic Analyzers
    Programmable
    ... Devices (PLD (135 companies)
    Programmable logic devices (PLD) are designed with configurable logic and flip-flops linked together with programmable interconnect. PLDs provide specific functions, including device-to-device interfacing, data communication, signal processing, data display, timing and control operations, and almost every other function a system must perform. Programmable logic devices (PLD) are designed with configurable logic and flip-flops linked together with programmable interconnect. PLDs provide specific functions, including device-to-device interfacing, data communication, signal processing.

    46. Combinatory Logic - Definition Of Combinatory Logic By The Online Dictionary Fro
    Definition of Combinatory Logic in the Online Dictionary. Multiple meanings, detailed information and synonyms for Combinatory Logic.
    http://onlinedictionary.datasegment.com/word/combinatory logic
    Online Dictionary C : combinatory logic
    combinatory logic
    1 definition found combinatory logic Free On-line Dictionary of Computing (26 May 2007) : logic , mathematics or a functional language to a sequence of modifications to the input data structure. First introduced in the 1920's by Schoenfinkel. Re-introduced independently by Haskell Curry in the late 1920's (who quickly learned of Schoenfinkel's work after he had the idea). Curry is really responsible for most of the development, at least up until work with Feys in 1958. See combinator

    47. THE-CHURCH-ROSSER-PROPERTY-IN-SYMMETRIC-COMBINATORY-LOGIC
    THE CHURCHROSSER PROPERTY IN SYMMETRIC Combinatory Logic.
    http://biblioteca.universia.net/html_bura/ficha/params/id/1445170.html
    Publicidad Publicidad document.write('');
    Biblioteca.Net
    Buscar recursos: Buscador Google
    Lógica
    Matemáticas Astronomía y Astrofísica Física ... COLECCIONES
    Usuarios registrados
    Regístrese Usuario: España Argentina Brasil Chile Colombia México Perú Portugal Puerto Rico Venezuela Contraseña:
    Colecciones destacadas
    PubMed Central (PMC3 - NLM DTD) arXiv Library of Congress Open Archive Initiative Repository 1 más...]
    Menú
    Solicitados
    Datos del recurso
    Ver
    The Church-Rosser property in symmetric combinatory logic
    Bimbó, Katalin
    Localización: http://ProjectEuclid.org/getRecord?id=euclid.jsl/1120224727
    euclid.jsl/1120224727

    Citation: J. Symbolic Logic 70 (2005), Issue 2, 536-556

    Pertenece a: Project Euclid (Hosted at Cornell University Library)
    Descargar SCORM
    ¡Sea el primero en solicitar este recurso! Para poder descargar este recurso debe identificarse como usuario de la biblioteca
    Valoración de los usuarios
    No hay ninguna valoración para este recurso. Sea el primero en valorar este recurso
    Detalles del recurso
    The Church-Rosser property in symmetric combinatory logic Id.

    48. COMBINATORY LOGIC
    Combinatory Logic A system for reducing the operational notation of logic, mathematics or a functional language to a sequence of modifications to the input
    http://www.websters-online-dictionary.org/co/combinatory logic.html
    Philip M. Parker, INSEAD.
    COMBINATORY LOGIC
    Specialty Definition: COMBINATORY LOGIC
    Domain Definition
    Computing
    Combinatory logic A system for reducing the operational notation of logic, mathematics or a functional language to a sequence of modifications to the input data structure. First introduced in the 1920's by Schoenfinkel. Re-introduced independently by Haskell Curry in the late 1920's (who quickly learned of Schoenfinkel's work after he had the idea). Curry is really responsible for most of the development, at least up until work with Feys in 1958. See combinator. (1995-01-05). Source: The Free On-line Dictionary of Computing Source: compiled by the editor from various references ; see credits. Top
    Crosswords: COMBINATORY LOGIC
    Specialty definitions using "COMBINATORY LOGIC" combinator fixed point combinator Haskell Curry microcode ... Top
    Commercial Usage: COMBINATORY LOGIC
    Domain Title
    Books
    • Elements of combinatory logic reference
    • To Mock a Mocking Bird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic reference (more book examples)
    Source: compiled by the editor from various references ; see credits.

    49. Computer Science, Computation Fundamentals, Combinatory Logic.
    Activesign Technology of Computer, Computation Fundamentals and Combinatory Logic information from www.activesign.net.
    http://www.activesign.net/contactus.php
    Contact Us
    USA Office Address :
    501 Silverside Rd, Suite 105
    Wilmington, DE 19809, USA
    Toll Free No.:- 1-866-249-4291 Fax :- 1-302-351-6292. Home Theory of Computation Resources Diversity of Computer Science ... Hotel Website Hosted, Maintained SEO by Cgsinfotech Ltd.

    50. Combinatory Logic - Computing Reference - ELook.org
    Previous Terms, Terms Containing Combinatory Logic, Next Terms . COM com COMAL combination combinator, combinator curried function
    http://www.elook.org/computing/combinatory-logic.htm
    By Letter: Non-alphabet A B C ... Email this page to a friend
    Combinatory logic
    A system for reducing the operational notation of logic , mathematics or a functional language to a sequence of modifications to the input data structure.
    First introduced in the 1920's by Schoenfinkel.
    Re-introduced independently by Haskell Curry in the late 1920's (who quickly learned of Schoenfinkel's work after he had the idea).
    Curry is really responsible for most of the development, at least up until work with Feys in 1958.
    See combinator
    Terms Containing combinatory logic COM
    com

    COMAL

    combination
    ... Contact

    51. CAT.INIST
    In theoretical computer science and mathematics the models of Combinatory Logic are of significance in various ways. In particular within the discipline
    http://cat.inist.fr/?aModele=afficheN&cpsidt=4382689

    52. Good Book On Combinatory Logic - Sci.logic | Google Groups
    And that does full FOL in Combinatory Logic. (First order Logic including relations) But it is hopelessly complicated.
    http://groups.google.as/group/sci.logic/msg/4e09f8d411377e58
    Help Sign in sci.logic Discussions ... Subscribe to this group This is a Usenet group - learn more Message from discussion good book on combinatory logic
    The group you are posting to is a Usenet group . Messages posted to this group will make your email address visible to anyone on the Internet. Your reply message has not been sent. Your post was successful Jan Burse View profile More options Dec 16, 12:21 am Newsgroups: sci.logic From: Date: Sun, 16 Dec 2007 12:21:18 +0100 Local: Sun, Dec 16 2007 12:21 am Subject: Re: good book on combinatory logic Reply Reply to author Forward Print ... Find messages by this author translogi schrieb:
    > And that does "full" FOL in combinatory logic. (First order Logic
    This one?
    http://www3.unifi.it/dpfilo/upload/sub/Didattica/Minari/varexplaw.pdf

    This reminds of the "unpacking the axiom scheme of class
    comprehension" for NBG.
    http://en.wikipedia.org/wiki/Von_Neumann%E2%80%93Bernays%E2%80%93G%C3...

    Not sure whether one arrives at a *proof theory* for
    FOL, but rather only (sic!) variable less *formulas* for FOL
    and set theory.

    53. ComSci 319, U. Chicago
    Combinatory Logic volume I by Haskell B. Curry and Robert Feys with two sections by William Craig, NorthHolland, Amsterdam, Studies in Logic and the
    http://www.classes.cs.uchicago.edu/classes/archive/2000/winter/CS319/
    Com Sci 319
    Lambda Calculus
    Winter 2000
    A course in the Department of Computer Science
    The University of Chicago
    Online discussion using HyperNews
    • [8 Feb] Assignment #4 is due on Monday, 14 February, at the beginning of class. (O'D)
      [17 Jan] The HyperNews discussion is set up. Please read the instructions, and jump in. The system reports an error whenever you post, but the only error is the error report itself. I'm trying to get that fixed. In the meantime, please don't post the same message repeatedly in response to the erroneous error message. (O'D)
      [29 Dec 1999] The Web materials for ComSci 319 are under construction. Some links are broken. (O'D)
    Logistics
    • Venue: MW 9:00-10:20, Ryerson 257
      Instructor: Michael J. O'Donnell
      • Office: Ryerson 257A. email: odonnell@cs.uchicago.edu Office hours: by appointment. Contact me by email, phone at the office (312-702-1269), or phone at home (847-835-1837 between 9:30 and 5:30 on days that I work at home). You may drop in to the office any time, but you may find me out or busy if you haven't confirmed an appointment. Check my personal schedule before proposing an appointment.

    54. Combinatory Logic - Definition By Dict.die.net
    Combinatory Logic A system for reducing the operational notation of logic, mathematics or a functional language to a sequence of modifications to the input
    http://dict.die.net/combinatory logic/
    Definition: combinatory logic
    Search dictionary for Source: The Free On-line Dictionary of Computing (2003-OCT-10) combinatory logic A system for reducing the operational notation of logic , mathematics or a functional language to a sequence of modifications to the input data structure. First introduced in the 1920's by Schoenfinkel . Re-introduced independently by Haskell Curry in the late 1920's (who quickly learned of Schoenfinkel's work after he had the idea). Curry is really responsible for most of the development, at least up until work with Feys in 1958. See combinator
    Library
    online dictionary
    linux docs
    linux man pages
    page load time
    Toys
    world sunlight
    moon phase
    trace explorer
    free online rpg

    55. Curry Biography
    Curry began working on Combinatory Logic in 1950 when he was awarded a Fulbright Grant Combinatory Logic is concerned with certain basic notions of the
    http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Curry.html
    Haskell Brooks Curry
    Born: 12 Sept 1900 in Millis, Massachusetts, USA
    Died: 1 Sept 1982 in State College, Pennsylvania , USA
    Click the picture above
    to see a larger version Show birthplace location Previous (Chronologically) Next Main Index Previous (Alphabetically) Next Biographies index
    Version for printing
    Haskell Curry 's mother was Anna Baright and his father was Samuel Silas Curry. Samuel was the president of the School of Expression in Boston and Anna was the Dean of the School. Haskell did not show particular interest in mathematics when at high school and when he graduated in 1916 he fully intended to study medicine. He entered Harvard College, the undergraduate school of Harvard University, and took a mathematics course in his first year of study as part of his studies towards a degree in medicine. A major influence on the direction that his studies took was the entry of the United States into World War I in the spring of 1917. Curry wanted to serve his country, and decided that he would be more likely to see action if he had a mathematics training rather than if he continued the pre-medical course he was on. Anyhow he had enjoyed the mathematics course he had taken and had done very well in the course. He changed his major subject to mathematics and then enlisted in the Student Army Training Corps on 18 October 1918. The war, however, ended shortly after this (in November) and on 9 December 1918 Curry left the army. He continued on the mathematics course at Harvard, however, and graduated in 1920 with an A.B. degree.

    56. A Hierarchy Of Languages, Logics, And Mathematical Theories - Cogprints
    Starting from the root tier, the mathematical theories in this hierarchy are Combinatory Logic restricted to the identity I, Combinatory Logic,
    http://cogprints.org/2875/
    @import url(http://cogprints.org/style/auto.css); @import url(http://cogprints.org/style/print.css); @import url(http://cogprints.org/style/nojs.css); Cogprints

    57. Combinatory Logic Definition. Define Combinatory Logic. What Is Combinatory Logi
    DefineThat provides thousands of technical definitions and defines computer related terms. Great for IT professionals and home users.
    http://www.definethat.com/hitting.asp?ID=3879

    58. Science Links Japan | Functional Language Processing Via Combinatory Logic And I
    Abstract;As one of the methods of processing functional language, there exists the way which evaluates and executes its corresponding Combinatory Logic
    http://sciencelinks.jp/j-east/article/200011/000020001100A0296344.php
    Sitemap
    Home Opinions Press Releases ... IEIC Technical Report (Institute of Electronics, Information and Communication Engineers)(2000)
    Functional Language Processing via Combinatory Logic and its relation to Graph Transformation System.
    Accession number; Title; Functional Language Processing via Combinatory Logic and its relation to Graph Transformation System. Author; SUGITO YOSHIO(Electrotech. Lab., Agency of Ind. Sci. and Technol.) Journal Title; IEIC Technical Report (Institute of Electronics, Information and Communication Engineers)
    Journal Code:
    ISSN: VOL. NO. PAGE. REF.7 Pub. Country; Japan Language; Japanese Abstract; As one of the methods of processing functional language, there exists the way which evaluates and executes its corresponding combinatory logic codes by means of combinatory logic's reduction. In this paper, especially forcusing in case of using the framework of category theory(that is, categorical combinatory logic-CCL-), we try to execute its CCL-code using our graph transformation system(GMS-98) as the case study of using and estimating the system. (author abst.) BACK About J-EAST How to use List of Publications ... FAQ

    59. Combinatory Logic - Indopedia, The Indological Knowledgebase
    This article is about a topic in theoretical computer science, and is not to be confused with combinatorial logic, a topic in electronics.
    http://www.indopedia.org/Combinatory_logic.html
    Indopedia Main Page FORUM Help ... Log in The Indology CMS
    Categories
    Logic in computer science Mathematical logic Lambda calculus ... Wikipedia Article
    Combinatory logic
    ज्ञानकोश: - The Indological Knowledgebase
    This article is about a topic in theoretical computer science, and is not to be confused with combinatorial logic , a topic in electronics
    Combinatory logic is a simplified model of computation , used in computability theory (the study of what can be computed) and proof theory (the study of what can be mathematically proven .) The theory, despite its simplicity, captures many essential features of the nature of computation. Combinatory logic is a variation of the lambda calculus , in which lambda expressions (used to allow for functional abstraction) are replaced by a limited set of combinators , primitive functions which contain no free variables . It is easy to transform lambda expressions into combinator expressions, and since combinator reduction is much simpler than lambda reduction, it has been used as the basis for the implementation of some non-strict functional programming languages in software and hardware Contents showTocToggle("show","hide")

    60. Kolmogorov Complexity In Combinatory Logic - Online Article By John Tromp. Kolmo
    Kolmogorov Complexity in Combinatory Logic On the Formulaeas-Types Correspondence for Classical Logic (Popularity ) Doctoral thesis of Charles
    http://www.sciencecentral.com/site/495602
    Saturday, 22 December, 2007 Home Submit Science Site Add to Favorite Contact search for Directories Aeronautics and Aerospace Agriculture Anomalies and Alternative Science Astronomy ... Technology Category: Science Math Logic and Foundations Computational Logic ... REPORT BROKEN LINK
    Kolmogorov Complexity in Combinatory Logic Popularity: Details document.write(''); Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of randomness.
    URL Title Description Category:
    Related sites Dual Identity Combinators (Popularity: ): Article by Katalin Bimb³ presented at the 20th World Congress of Philosophy. Investigates the addition ...
    Lambda
    (Popularity: ): An online introduction to the lambda calculus by Lloyd Allison, complete with a web form ...
    Perl Contains the Lambda-Calculus
    (Popularity: ): Explains why this computer program is well suited to apply to functional application.
    On the Formulae-as-Types Correspondence for Classical Logic
    (Popularity: ): Doctoral thesis of Charles Stewart, which investigates foundational aspects of the application of the formulae-as-types ...
    Automated Reasoning
    (Popularity: ): Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic ...

    61. [Some Citations For Lambda Calculus Books From MathSciNet Djr
    This paper is a short history of the lambda calculus and Combinatory Logic by a participant in that history. After a brief introduction to both systems and
    http://www.math.niu.edu/~rusin/known-math/99/lambdacalc_refs

    62. Combinatory Logic - ExampleProblems.com
    This article is about a topic in mathematical logic and theoretical computer science, and is not to be confused with combinatorial logic,
    http://www.exampleproblems.com/wiki/index.php/Combinatory_logic
    var skin = 'monobook';var stylepath = '/wiki/skins';
    Combinatory logic
    From ExampleProblems.com
    Jump to: navigation search
    This article is about a topic in mathematical logic and theoretical computer science, and is not to be confused with combinatorial logic , a topic in electronics
    Combinatory logic is a notation introduced by Moses Sch¶nfinkel and Haskell Curry to eliminate the need for variables in mathematical logic . It has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming languages.
    Contents
    edit
    Combinatory logic in mathematics
    Combinatory logic was intended as a simple 'pre-logic' which would clarify the meaning of variables in logical notation, and indeed eliminate the need for them. See Curry, 1958-72. edit
    Combinatory logic in computing
    In computer science, combinatory logic is used as a simplified model of computation , used in computability theory (the study of what can be computed) and proof theory (the study of what can be mathematically proven .) The theory, despite its simplicity, captures many essential features of the nature of computation.

    63. Combinatory Logic In TutorGig Encyclopedia
    Combinatory Logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic.
    http://www.tutorgig.com/ed/Combinatory_logic
    Combinatory logic Encyclopedia Search: in Tutorials Encyclopedia Dictionary Entire Web Store Tutorials Encyclopedia Dictionary Web ... Email this to a friend
    Combinatory logic
    This article is about a topic in mathematical logic and theoretical computer science, not to be confused with combinational logic , sometimes known as combinatorial logic , a topic in digital electronics 'Combinatory logic ' is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variable s in mathematical logic . It has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming languages. It is based on 'combinators ', which are higher-order function s that solely use function application and possibly other, earlier defined combinators for defining a result from their arguments.
    Combinatory logic in mathematics
    Combinatory logic was intended as a simple 'pre-logic' which would clarify the meaning of variables in logical notation, and indeed eliminate the need for them. See Curry, 1958?1972.

    64. Combinatory Logic - Spock Search
    Haskell Curry, Corrado Böhm, Moses Schönfinkel, Mark Steedman, Robert Feys and other people matching \
    http://www.spock.com/q/combinatory-logic
    Processing (could take a few minutes)... You should enable javascript to use Spock Name or Email: Tags: Example: badminton Location: Example: San Francisco, CA Age: any to any male female any Must have picture! Click here to see where people you know are on the web Login Sign up Grid ... Haskell Curry male, deceased Harvard University mathematical logic Georg August University of G¶ttingen intuitionistic logic ... Add tag Haskell Brooks Curry was an American mathematician and logician. The son of educator Samuel Silas Curry, he was educated at Harvard University and... See: Tags (21) Pictures (5) Related People (0) News Web: Wikipedia adam.science.uva.nl sadl.uleth.ca sadl.uleth.ca ... Corrado B¶hm male, 84 years old computer pioneer combinatory logic constructive mathematics theoretical computer science ... Add tag Corrado B¶hm, Professor Emeritus at the University of Rome "La Sapienza", is a computer scientist known especially for his contributions to the t... See: Tags (11) Pictures (1) Related People (0) News Web: Wikipedia Upload picture Moses Sch¶nfinkel male, deceased

    65. Integrated Circuit Having Combinatorial Logic Functionality And Provided With Tr
    Integrated Logic CMOScircuit which operates at a reduced supply voltage between 2 and 3.6 Volts. So as to provide reliable operation of the circuit at this
    http://www.freepatentsonline.com/EP0339737.html
    Login or Create Free Account Search Go to Advanced Search Home Search Patents Data Services ... Help Title: Integrated circuit having combinatorial logic functionality and provided with transmission gates having a low threshold voltage. Document Type and Number: European Patent EP0339737 Kind Code: Link to this page: http://www.freepatentsonline.com/EP0339737A1.html Abstract: Integrated logic CMOS-circuit which operates at a reduced supply voltage between 2 and 3.6 Volts. So as to provide reliable operation of the circuit at this low supply voltage and to substantially limit the power dissipation in this logic circuit it is proposed to design the transmission gates (T1,T2) in that circuit as one single N-channel transistor having a threshold voltage which is less than or equal to half the threshold voltage of NMOS-transistors in further gates of the logic CMOS-circuit. Preferably, the lower threshold voltage of NMOS-transistors in the transmission gates is approximately 0.3 Volt. Inventors: De, Loore Bart Jozef Suzanne

    Page 1     1-69 of 69    1