Home  Lambda_Calculus  Lambda Calculus 
Page 1 195 of 95 1 
1. Lambda Calculus  Wikipedia, The Free Encyclopedia In mathematical logic and computer science, lambda calculus, also calculus, is a formal system designed to investigate function definition, http://en.wikipedia.org/wiki/Lambda_calculus  

2. Lambda Calculus 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/  

3. Lambda Calculus Introduction lambda calculus provides the basis for Functional Programming languages. http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/  

4. An Introduction To Lambda Calculus And Scheme The Lambdacalculus is a universal model of computation, that is, any computation that can be expressed in a Turing machine can also be expressed in the http://www.jetcafe.org/jim/lambda.html  

5. Page Of Yves Lafont University of Marseille II Linear logic, lambda calculus, proof theory, term rewriting. Lafont invented the theory of interaction nets, an elegant theory of graph rewriting. http://iml.univmrs.fr/~lafont/welcome.html  

6. Lambda Calculus ThatÂs almost a good definition, however, due to the extreme thriftiness of lcalculus, we must impose an even more draconian restriction every LISP lambda http://www.mactech.com/articles/mactech/Vol.07/07.05/LambdaCalculus/  

7. Lambda Calculus lambda calculus is a theory of functions that is central to (theoretical) computer science. It is well known that all recursive functions are representable http://users.comlab.ox.ac.uk/luke.ong/teaching/lambda/  

8. Zena M. Ariola University of Oregon Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers. http://www.cs.uoregon.edu/~ariola/  

9. Good Math Has Moved To Lamda Calculus (Index). My Favorite Calculus Lambda (part 1) The Genius of Alonzo Church Finally, Modeling lambda calculus Programs are Pr.. http://goodmath.blogspot.com/2006/06/lamdacalculusindex.html  

10. Home Page For Kim B. Bruce Williams College Semantics and design of programming languages, type theory, objectoriented languages, models of higherorder lambda calculus including subtypes and bounded polymorphism. http://www.cs.williams.edu/~kim/  

11. To Dissect A Mockingbird: A Graphical Notation For The Lambda Calculus With Anim The lambda calculus, and the closely related theory of combinators, The lambda calculus is based on the more abstract notion of applying a function . http://users.bigpond.net.au/d.keenan/Lambda/index.htm  

12. Lambda Calculus And A++: Basic Concepts lambda calculus and A++ Basic Concepts of Lambda Expressions, Lambda Conversions and the Programming Language A++. http://www.lambdabound.com/book/lambdacalc/  

13. Honsell, Furio University of Udine lambda calculus; foundations, especially of informatics; type systems for OO languages; logical frameworks and formal verification of proofs, programs, and systems; semantics of programming languages and program logics; mathematical structures for semantics. http://www.dimi.uniud.it/~honsell/ 
14. Lambda Calculus Reduction Workbench This system implements and visualizes various reduction strategies for the pure untyped lambda calculus. It is intended as a pedagogical tool, http://www.itu.dk/people/sestoft/lamreduce/index.html  

15. Luke Ong's Home Page Merton College, Oxford Semantics of programming languages, lambda calculus, categorical logic and type theory, game semantics, linear logic. http://web.comlab.ox.ac.uk/oucl/work/luke.ong/  

16. Lambda Calculus And Lambda Calculators Several lambdacalculators and many applications of lambda calculus. http://okmij.org/ftp/Computation/lambdacalc.html  

17. Perl Contains The LambdaCalculus Lambda Calculus (pronounced `lambda calculus ) is a model of computation invented by Alonzo Church in 1934. It s analogous to Turing machines, http://perl.plover.com/lambda/  

18. Lemon Functional language with inductive and coinductive types. Based on simplytyped lambda calculus augmented with sums, products, and mu and nu constructors for least (inductive) and greatest (coinductive) solutions to recursive type equations. http://www.cis.ksu.edu/~bhoward/lemon.html  

19. The Unlambda Programming Language Minimalistic functional language based on the lambda calculus but lacking the Lambda operator. Tutorial, reference, GPLed interpreters available. http://www.madore.org/~david/programs/unlambda/  

20. Knights Of The Lambda Calculus Knights of the lambda calculus n. A semimythical organization of wizardly LISP and Scheme hackers. The name refers to a mathematical formalism invented by http://catb.org/jargon/html/K/KnightsoftheLambdaCalculus.html  

21. Bruno Carle  Java / C++ Developer  Redirect Page Some samples of non commercial programming e.g. a lisp like interpreter, lambda calculus interpreter, regular expression tool, and more useless stuff with C++ and Java sources. CV in english, spanish, french and italian languages. http://brunocarle.free.fr  

22. Lambda Calculus  From Wolfram MathWorld In the lambda calculus, lambda is defined as the abstraction operator. To H. B. Curry Essays on Combinatory Logic, lambda calculus and Formalism. http://mathworld.wolfram.com/LambdaCalculus.html  

23. Afdeling Informatica, Faculteit Der Exacte Wetenschappen, Vrije Universiteit Ams Division of Mathematics and Computer Science. Research interests center around software engineering; parallel and distributed systems, including programming, distributed shared objects, operating systems support, and wide area cluster computing; agent technology; computational intelligence; knowledge representation and reasoning; lambda calculus; programming language semantics; type theory; and proof checking. http://www.cs.vu.nl/  

24. John's Combinatory Logic Playground Pictured above you can see on the left the 210 bit binary lambda calculus selfinterpreter, and on the right the 272 bit binary combinatory logic http://www.cwi.nl/~tromp/cl/cl.html  

25. Better Scheme Language designed and largely implemented, now a matter of coding, documenting. Goals high consistency; improve language's functional nature; consistency with lambda calculus; optimize, but not at cost of other goals. http://www.cs.oberlin.edu/~jwalker/bscheme/  

26. Peter Selinger Papers Such a lambda calculus was used by Selinger and Valiron as the backbone of a functional A lambda calculus for quantum computation with classical control http://www.mscs.dal.ca/~selinger/papers.html 
27. Alligator Eggs! This game represents the untyped lambda calculus. A hungry alligator is a lambda abstraction, an old alligator is parentheses, and eggs are variables. http://worrydream.com/AlligatorEggs/  

28. Luke Ong Merton College, Oxford Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality. http://web.comlab.ox.ac.uk/oucl/people/luke.ong.html  

29. Â» Simple Lambda Calculus In Prolog  Ha4 Haskell, Hacking Below I take one of the possible directions to solve this embed a lambda calculus interpreter in Prolog. Look at this common paradigm http://ha4.fajno.net/2007/12/14/simplelambdacalculusinprolog/ 
30. Stochastic Lambda Calculus And Monads Of Probability Distributions (Abstract) Probability distributions form a monad, and the monadic definition leads to a simple, natural semantics for a stochastic lambda calculus, as well as simple, http://www.eecs.harvard.edu/~nr/pubs/pmonadabstract.html  

31. PrÃ©sentation De Laurent Regnier University of Marseilles Linear logic, lambda calculus and abstract machine interpretations. http://iml.univmrs.fr/~regnier/  

32. [quantph/0307150] A Lambda Calculus For Quantum Computation Abstract The classical lambda calculus may be regarded both as a programming language and as a formal algebraic system for reasoning about computation. http://arxiv.org/abs/quantph/0307150  

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

34. Simplytyped Lambda Calculus  The Twelf Project The simplytyped lambda calculus is a common example of a simple typed programming language. This article discusses its encoding in Twelf. http://twelf.plparty.org/wiki/Simplytyped_lambda_calculus  

35. Stewart, Charles Technische UniversitÂ¤t Berlin, Theory and Formal Specifications group Proof theoretic semantics, lambda calculus, linear logic, theoretical computer science, philosophy of language. http://www.linearity.org/cas/ 
36. Notes On Simply Typed Lambda Calculus These notes provide an introduction to lambdacalculi, specifically the simply typed lambda calculus. The first half of the notes gives a fairly thorough http://www.lfcs.inf.ed.ac.uk/reports/98/ECSLFCS98381/  

37. From Lambda To Language But it does show how the language machine relates to the lambda calculus and to The lambda calculus, as is very well known, is a deceptively simple http://languagemachine.sourceforge.net/lambda.html  

38. Homepage Henk Barendregt Radboud University Nijmegen lambda calculus, type theory and formalising mathematical vernacular. http://www.cs.ru.nl/~henk/  

39. Church This module allows simple experimentation with the lambda calculus, first developed by Church. It understands the different types of lambda expressions, http://www.alcyone.com/pyos/church/  

40. LtU Classic Archives lambda calculus. Shows how to reduce a subset of Scheme to LC. If you know a little Lisp/Scheme, and ever wondered what (lambda (x) (x x)) might be good for http://lambdatheultimate.org/classic/message10113.html  

41. A Certified TypePreserving Compiler From Lambda Calculus To Assembly Language I present a certified compiler from simplytyped lambda calculus to assembly language. The compiler is certified in the sense that it comes with a http://www.cs.berkeley.edu/~adamc/papers/CtpcPLDI07/  

42. The Lambda Calculus  Elsevier The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. http://www.elsevier.com/wps/product/cws_home/501727 
43. PlanetMath: Lambda Calculus In pure lambda calculus, there are no constants. Instead, there are only lambda abstractions (which are simply specifications of functions), variables, http://planetmath.org/encyclopedia/LambdaCalculus.html  

44. Lambda Calculus But you do not need to know lambda calculus to be impressed by this program! See the file fanf.lambda for more examples of lambda calculus source. http://www.ioccc.org/1998/fanf.hint 
45. Into The Wibble [lambdacalculus] This page is all about my lambda computer a program that computes in the lambda calculus. For fun, I also did a Turing machine in lambda calculus (fairly http://frmb.org/lambda.html  

46. Notes: Lambda Calculus lambda calculus as a basis for functional programming languages More Lambda notes lambda calculus is a formal model of computation. Others include http://www.cs.unc.edu/~stotts/723/Lambda/  

47. Lambda Calculus Implementatie Untyped lambda calculus. *) (* *) (* Freek Wiedijk, University of Nijmegen .. lambda.ml ;; *) (* val id a a = fun *) (* val ( ** ) ( a  b) http://www.cs.ru.nl/~freek/notes/lambda.ml  

48. Pure Lambda Calculus This is a description of the Content Scramble System (CSS) ;; descrambling algorithm in the pure lambda calculus. At the same ;; time it is also a valid http://www.cs.cmu.edu/~dst/DeCSS/Gallery/cssdescramblelambda.txt  

49. A Lambda Calculus For Quantum Computation which develop a linear lambda calculus for expressing quantum algorithms. The code below implements the examples in the first one of these two papers. http://www.het.brown.edu/people/andre/qlambda/index.html  

50. The Lambda Calculus The lambda calculus was created by Alonzo Church in the 1930s as a construction in abstract logic but has had practical application in the design of http://www.sjsu.edu/faculty/watkins/lambda.htm  

51. Lecture About Scheme And Lambda Calculus This is a presentation that introduces the Scheme programming language, and then uses the learned subset to demonstrate lambda calculus. lambda calculus is http://www.shlomifish.org/lecture/LambdaCalculus/  

52. Lambda Calculus Basics lambda calculus Basics including its history, its definition and the basic rules. http://www.aplusplus.net/lcintro.html  

53. LCI  A Lambda Calculus Interpreter LCI is an interpreter for the lambda calculus. It supports many advanced features like recursion, userdefined operators and multiple evaluation strategies, http://lci.sourceforge.net/  

54. Lambda Calculus And Combinators The lambda calculus is an elegant formulation of the classical idea. The lambda calculus was introduced as a notation for representing and studying http://cs.wwc.edu/KU/Logic/lambdaCalculus.html 
55. CiteULike: A Lambda Calculus For Quantum Computation The classical lambda calculus may be regarded both as a programming language and as a formal algebraic system for reasoning about computation. http://www.citeulike.org/user/bendiken/article/216792  

56. Lambda Calculus Plus Letrec The scoped lambdagraphs are represented by terms defined over lambda calculus extended with the letrec construct. On this set of terms we define a sound http://www.cs.uoregon.edu/~ariola/cycles.html  

57. Lambda Calculus Interpreter Shows the steps made throughout the evaluation of the lambda calculus expression EXP. (when (bufferlivep lcstepbuffer) (killbuffer lcstepbuffer)) http://mwolson.org/static/dist/elisp/lambdacalc.el  

58. Foreign Dispatches: An Introduction To The Lambda Calculus An Introduction to the lambda calculus. And now for something different. Are you a programmer who s made a run in or two with esoteric languages like http://foreigndispatches.typepad.com/dispatches/2007/02/an_introduction.html  

59. Workshop On LambdaCalculus, Type Theory, And Natural Language, 2005 This page describes the second workshop on lambda calculus, Type Theory and The workshop covered aspects of the lambda calculus and its connection with http://lcttnl.foxearth.org/  

60. Lambda Calculus@Everything2.com An interesting aspect is that + and even 2 can themselves be defined in terms of lambda calculus it is a complete description of discrete computation. http://www.everything2.com/index.pl?node_id=122026 
61. Mechanically Separated Meat Â» Blog Archive Â» The Ballad Of The Lambda Calculus Church had years before TuringÂs paper defined a Âlambda calculusÂ, a sort of way of defining trees of functions that call other functions, equipped with a http://msm.grumpybumpers.com/?p=15 
62. Lambda Calculus The pure calculus appears to lack recursion (or equivalently iteration) but recursive functions can in fact be defined, as examples also demonstrate. http://www.allisons.org/ll/FP/Lambda/  

63. Lambda Calculus  Simple English Wikipedia, The Free Encyclopedia In mathematical logic and computer science, lambda calculus, also calculus, is a formal system. It was designed to investigate the definition of functions http://simple.wikipedia.org/wiki/Lambda_calculus  

64. Lambda Calculus (at Safalra's Website) Welcome to the lambda calculus section of SafalraÂs Website. This section of the website contains a brief tutorial on lambda calculus and what can be http://www.safalra.com/science/lambdacalculus/  

65. Lambda Calculus  A Definition From WhatIs.com lambda calculus, considered to be the mathematical basis for programming language, is a calculus developed by Alonzo Church and Stephen Kleene in the 1930s http://whatis.techtarget.com/definition/0,,sid9_gci341298,00.html  

66. CallbyValue {lambda}calculus And LJQ  Dyckhoff And Lengrand 17 (6): 1109  Keywords lambda calculus; callbyvalue; sequent calculus; continuationpassing; semantics. Disclaimer Please note that abstracts for content published http://logcom.oxfordjournals.org/cgi/content/abstract/17/6/1109  

67. Things That Amuse Me In a previous blog entry I described a simple evaluator and type checker for the lambda cube, i.e., various forms of lambda calculus. http://augustss.blogspot.com/2007/11/somelambdacalculusexamplessyntaxin.htm  

68. Arithmetic In Lambda Calculus  Wolfram Demonstration Project lambda calculus was developed by Alonzo Church and Stephen Kleene in 1930 and consists of a single transformation rule (variable substitution) and a single http://demonstrations.wolfram.com/ArithmeticInLambdaCalculus/  

69. Jacal  Lambda Calculus lambda calculus. Create a lambda expression. Operator lambda varlist expression Jacal has the ability to work with lambda expressions, via the command http://wwwswiss.ai.mit.edu/~jaffer/jacal_5.html  

70. Elisp And The Lambda Calculus Â« Minor Emacs Wizardry This one is only for hardcore emacsers who are into programming languages theory a lambda calculus interpreter written in Elisp by Michael Olson. Enjoy! http://emacs.wordpress.com/2007/02/20/elispandthelambdacalculus/  

71. Wadler's Blog: John Baez On Lambda Calculus And Games John Baez has an intriguing introduction to lambda calculus and games. He converts a game tree into an expression built from products, exponents, http://wadler.blogspot.com/2006/10/johnbaezonlambdacalculusandgames.html  

72. Research/Lambda Calculus And Type Theory  Foundations The lambda calculus was originally conceived by Church in 1932 as part of a general theory of functions and logic, intended as a foundation for mathematics. http://www.fnds.cs.ru.nl/fndswiki/Research/Lambda_calculus_and_Type_Theory  

73. A Certified TypePreserving Compiler From Lambda Calculus To Assembly Language Ã Vous Ãªtes ici Accueil Rendezvous SÃ©minaires des Ã©quipes de recherche A Certified TypePreserving Compiler from lambda calculus to Assembly Language http://wwwc.inria.fr/Internet/rendezvous/seminairesdesequipesderecherche/a  

74. Chapter 8. Boost.Lambda The term originates from functional programming and lambda calculus, where a lambda abstraction defines an unnamed function. The primary motivation for the http://www.boost.org/libs/lambda/  

75. [Some Citations For Lambda Calculus Books From MathSciNet Djr From the introduction This paper is an introduction to the typefree lambda calculus. Section 1 gives some intuition about the basic operations of the http://www.math.niu.edu/~rusin/knownmath/99/lambdacalc_refs 
76. Marino Miculan University of Udine Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambdacalculus. http://www.dimi.uniud.it/~miculan/  

77. Pietro Di Gianantonio Home Page University of Udine Real number computability, semantics of concurrency, lambdacalculus. http://www.dimi.uniud.it/~pietro/  

78. Tobias Nipkow Technische UniversitÂ¤t MÂ¼nchen Automatic and interactive theorem proving, formal verification, formalizing programming languages, type systems, semantics, rewriting and unification, lambdacalculus. http://isabelle.in.tum.de/~nipkow/  

79. Zhenyu Qian UniversitÂ¤t Bremen Java security, extensions, and semantics; objectoriented, functional, concurrent, logic programming languages; specification languages; compiler construction; program specification, construction and transformation; objectoriented analysis and design; types; lambdacalculus; unification; algebraic semantics; and theorem proving systems. http://www.informatik.unibremen.de/~qian/qian.html  

80. MainFrame: The Lambdacalculus, Combinatory Logic, And Type Systems The connections between the lambdacalculus and programming languages are diverse and pervasive. Type systems are an important aspect of programming http://rbjones.com/rbjpub/logic/cl/cl017.htm  

81. Simone Martini University of Bologna, Italy Type systems for programming languages, logic in computer science, lambdacalculus. http://www.cs.unibo.it/~martini/  

82. J Roger Hindley University of Wales, Swansea lambdacalculus, combinatory logic and typetheory. http://wwwmaths.swan.ac.uk/staff/jrh/  

83. JAR Security Kernel A Security Kernel Based on the lambdacalculus. The dissertation (MIT 1995) consisted of a 50page main part (written last) consisting of 4 chapters, http://mumble.net/~jar/pubs/secureos/  

84. Theory Lambda (Isabelle2005: October 2005) Theory lambda. Up to index of Isabelle/HOL/lambda. theory lambda Basic definitions of lambdacalculus *} theory lambda imports Main begin subsection http://isabelle.in.tum.de/library/HOL/Lambda/Lambda.html  

85. INRIA :: [inria00090434, Version 2] A Concurrent Lambda Calculus With Futures lambda(fut) is a minimalist extension of the callbyvalue lambdacalculus that is sufficiently expressive to define and combine a variety of standard http://hal.inria.fr/inria00090434/en  

86. Lambdacalculus The pure lambdacalculus contains no constants  neither numbers nor mathematical functions such as plus  and is untyped. It consists only of lambda http://burks.brighton.ac.uk/burks/foldoc/74/64.htm  

87. ProjectMoscova:Labeled LambdaCalculus And Variants New Results Labeled lambdacalculus and Variants. http://ralyx.inria.fr/2006/Raweb/moscova/uid41.html  

88. LambdaCalculus And Computer Science Theory 1975 Corrado BÃ¶hm (Ed.) lambdacalculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 2527, 1975. http://www.informatik.unitrier.de/~ley/db/conf/lambda/lambda1975.html  

89. Linear Logic And Typed LambdaCalculus Workshop This workshop is sponsored by the Keio University of Tokyo, the CIRM and the European Union ( Typed lambdacalculus Human Capital and Mobility project). http://iml.univmrs.fr/~ehrhard/llhcm1998.html  

90. A Parigotstyle Linear $\lambda$calculus For Full Intuitionistic Linear Logic Keywords linear logic, $\lambda\mu$calculus, CurryHoward isomorphism. 2000 MSC 03B20. Theory and Applications of Categories, Vol. 17, 2006, No. http://www.tac.mta.ca/tac/volumes/17/3/1703abs.html  

91. Polymorphic Lambdacalculus From FOLDOC (Or second order typed lambdacalculus ). An extension of typed lambdacalculus allowing functions which take types as parameters. http://lgxserver.uniba.it/lei/foldop/foldoc.cgi?polymorphic lambdacalculus 
Page 1 195 of 95 1 