 Home  - Lambda_Calculus - Lambda Calculus
 Images Newsgroups
 1-95 of 95    1

See This List with Details

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.univ-mrs.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/lamda-calculus-index.html

Williams College Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order 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.lambda-bound.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

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/lambda-calc.html

17. Perl Contains The Lambda-Calculus
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.

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/Knights-of-the-Lambda-Calculus.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/simple-lambda-calculus-in-prolog/

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,

31. Présentation De Laurent Regnier
University of Marseilles Linear logic, lambda calculus and abstract machine interpretations.
http://iml.univ-mrs.fr/~regnier/

32. [quant-ph/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/quant-ph/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. Simply-typed 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/Simply-typed_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/ECS-LFCS-98-381/

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://lambda-the-ultimate.org/classic/message10113.html

41. A Certified Type-Preserving 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

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 [lambda-calculus]
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/css-descramble-lambda.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/Lambda-Calculus/

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 (bufferlive-p lc-step-buffer) (kill-buffer lc-step-buffer))
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

59. Workshop On Lambda-Calculus, 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/lambda-calculus/

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. Call-by-Value {lambda}-calculus And LJQ -- Dyckhoff And Lengrand 17 (6): 1109 --
Keywords lambda calculus; callby-value; sequent calculus; continuation-passing; 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/some-lambda-calculus-examples-syntax-in.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://www-swiss.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/elisp-and-the-lambda-calculus/

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,

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 Type-Preserving Compiler From Lambda Calculus To Assembly Language Â
Vous êtes ici Accueil Rendezvous Séminaires des équipes de recherche A Certified Type-Preserving Compiler from lambda calculus to Assembly Language
http://www-c.inria.fr/Internet/rendez-vous/seminaires-des-equipes-de-recherche/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/known-math/99/lambdacalc_refs

76. Marino Miculan
University of Udine Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.
http://www.dimi.uniud.it/~miculan/

University of Udine Real number computability, semantics of concurrency, lambda-calculus.
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, lambda-calculus.
http://isabelle.in.tum.de/~nipkow/

79. Zhenyu Qian
UniversitÃ¤t Bremen Java security, extensions, and semantics; object-oriented, functional, concurrent, logic programming languages; specification languages; compiler construction; program specification, construction and transformation; object-oriented analysis and design; types; lambda-calculus; unification; algebraic semantics; and theorem proving systems.
http://www.informatik.uni-bremen.de/~qian/qian.html

80. MainFrame: The Lambda-calculus, 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, lambda-calculus.
http://www.cs.unibo.it/~martini/

82. J Roger Hindley
University of Wales, Swansea lambda-calculus, combinatory logic and type-theory.
http://www-maths.swan.ac.uk/staff/jrh/

83. JAR Security Kernel
A Security Kernel Based on the lambdacalculus. The dissertation (MIT 1995) consisted of a 50-page 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 :: [inria-00090434, Version 2] A Concurrent Lambda Calculus With Futures
lambda(fut) is a minimalist extension of the callby-value lambda-calculus that is sufficiently expressive to define and combine a variety of standard
http://hal.inria.fr/inria-00090434/en

86. Lambda-calculus
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. Project-Moscova:Labeled Lambda-Calculus And Variants
New Results Labeled lambda-calculus and Variants.
http://ralyx.inria.fr/2006/Raweb/moscova/uid41.html

88. Lambda-Calculus And Computer Science Theory 1975
Corrado Böhm (Ed.) lambdacalculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975.
http://www.informatik.uni-trier.de/~ley/db/conf/lambda/lambda1975.html

89. Linear Logic And Typed Lambda-Calculus 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.univ-mrs.fr/~ehrhard/ll-hcm-1998.html

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

91. Polymorphic Lambda-calculus From FOLDOC
(Or second order typed lambdacalculus ). An extension of typed lambda-calculus allowing functions which take types as parameters.
http://lgxserver.uniba.it/lei/foldop/foldoc.cgi?polymorphic lambda-calculus

 1-95 of 95    1