Home  Lambda_Calculus  Combinatory Logic 
Page 1 169 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  

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  

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 formulaeastypes sense, to Combinatory Logic. http://www.bu.edu/wcp/Papers/Logi/LogiBimb.htm  

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  

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

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://wwwfp.mcs.anl.gov/~lusk/papers/equality/node5.html  

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 Lambdacalculus, 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  

9. J Roger Hindley University of Wales, Swansea Lambdacalculus, Combinatory Logic and typetheory. http://wwwmaths.swan.ac.uk/staff/jrh/  

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.unihohenheim.de/hardware/basics/csc102/ch8.html  

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  

12. Syntactic PatternMatching 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/  

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 selfinterpreter. http://lambdatheultimate.org/node/2458  

14. Class: Combinatory Logic  PHP Classes Calculate and generate array element combinations. http://www.phpclasses.org/browse/package/1901.html  

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  

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 Opencontent 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  

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  

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  

20. UltraFormal 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  

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  

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  

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=00224812(197612)41:4<789:EOCL>2.0.CO;2E 
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 ChurchRosser 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  

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  

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  

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 @ ComputerDictionaryOnline.org Combinatory Logic @ Computer Dictionary Online. Computer terminology definitions including hardware, software, equipment, devices, jargon abbreviations and http://www.computerdictionaryonline.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/PHPClases/CombinatoryLogic12449.html  

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  

36. IngentaConnect A Combinatory Logic Approach To Higherorder Eunification A translation of higherorder Eunification 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  

37. DSpace At RU: Combinatory Logic And The Wrule 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  

38. J Roger Hindley : Research Mathematical logic; particularly lambdacalculus, Combinatory Logic and Lambdacalculus and Combinatory Logic are formal systems, to some extent rivals, http://wwwmaths.swan.ac.uk/staff/jrh/JRHresearch.html  

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  

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  

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 TourleyMeyer semantics for http://jigpal.oxfordjournals.org/cgi/content/abstract/5/4/505  

42. Combinatory Logic  Definitions From Dictionary.com Definitions of Combinatory Logic at Dictionary.com. http://dictionary.reference.com/browse/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  

44. JSTOR The Principal TypeScheme 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/IndustrialDirectory/combinatory_logic  

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  

47. THECHURCHROSSERPROPERTYINSYMMETRICCOMBINATORYLOGIC THE CHURCHROSSER PROPERTY IN SYMMETRIC Combinatory Logic. http://biblioteca.universia.net/html_bura/ficha/params/id/1445170.html  

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.webstersonlinedictionary.org/co/combinatory logic.html  

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  

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/combinatorylogic.htm  

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  

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/  

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/  

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://wwwgroups.dcs.stand.ac.uk/~history/Biographies/Curry.html  

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/  

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/jeast/article/200011/000020001100A0296344.php  

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  

60. Kolmogorov Complexity In Combinatory Logic  Online Article By John Tromp. Kolmo Kolmogorov Complexity in Combinatory Logic On the FormulaeasTypes Correspondence for Classical Logic (Popularity ) Doctoral thesis of Charles http://www.sciencecentral.com/site/495602  

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/knownmath/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  

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  

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/combinatorylogic  

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  

Page 1 169 of 69 1 