In mathematical logic and computer science, lambda calculus, also written as λ-calculus, is a formal system for function definition, function application and recursion. It was introduced by Alonzo Church in the 1930s as part of an investigation into the foundations of mathematics. After the original system was shown to be logically inconsistent (the Kleene–Rosser paradox), Church isolated and published in 1936 just the portion relevant to computa...
more
Read article at Wikipedia
Lambda calculus
We can also tell you Lambda calculus is a
If you know more about Lambda calculus, you can add more facts here »
Similar topics in Freebase
-
Logo
LOGO (an acronym for Logic Oriented Graphic Oriented) is a computer programming language used for functional programming. It is an adaptation and dialect of the Lisp language; some have called it Lisp without the parentheses. Today, it is known mainly for its turtle graphics, but it also has... -
NewLISP
newLISP is an open source scripting language in the Lisp family of programming languages developed by Lutz Mueller and released under the GNU General Public License. newLISP has its origin back in 1991 and was originally developed on a Sun-4 workstation, then moved to Windows 3.0, where version 1.3... -
Clojure
Clojure (pronounced like closure) is a modern dialect of the Lisp programming language. It is a general-purpose language supporting interactive development that encourages a functional programming style which enables simplified multithreaded programming. Clojure runs on the Java Virtual Machine.... -
*Lisp
The *Lisp (aka StarLisp) programming language was conceived of in 1985 by Cliff Lasser and Steve Omohundro (employees of the Thinking Machines Corporation) as a way of providing an efficient yet high-level language for programming the nascent Connection Machine. At the time the Connection Machine... -
AutoLISP
AutoLISP is a dialect of Lisp programming language built specifically for use with the full version of AutoCAD and its derivatives, which include AutoCAD Map 3D, AutoCAD Architecture and AutoCAD Mechanical. Neither the application programming interface nor the interpreter to execute AutoLISP code... -
Maclisp
MACLISP (or Maclisp) is a dialect of the Lisp programming language. It originated at MIT's Project MAC (from which it derived its prefix) in the late 1960s and was based on Lisp 1.5. Richard Greenblatt was the main developer of the original codebase for the PDP-6; Jonl White was responsible for its... -
WCL programming language
WCL (Wade's Common Lisp) is a subset of Common Lisp implemented as a shared library by Wade Hennessey. Despite being incomplete it does have the full development environment including dynamic file loading and debugging. A modified version of GDB provides mixed-language debugging. -
ISLISP
ISLISP (also capitalized as ISLisp) is a programming language in the LISP family standardized by the ISO. The goal of the ISO standardization effort was to define a small, core language to help bridge the gap between differing dialects of Lisp. It attempted to accomplish this goal by studying... -
Emacs Lisp
Emacs Lisp is a dialect of the Lisp programming language used by the GNU Emacs and XEmacs text editors (which this article will refer to collectively as "Emacs"). It is used for implementing most of the editing functionality built into Emacs, the remainder being written in C (as is the Lisp... -
Scheme
Scheme is one of the two main dialects of the programming language Lisp. Unlike Common Lisp, the other main dialect, Scheme follows a minimalist design philosophy specifying a small standard core with powerful tools for language extension. Its compactness and elegance have made it popular with...