Search for "Lambda calculus" in article titles:

1. Lambda calculus: Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It is a universal model of computation that can be used to simulate ... (Mathematical-logic system based on functions) [100%] 2023-12-09 [Lambda calculus] [1936 in computing]...
2. Lambda calculus: In mathematical logic and computer science, the lambda calculus (also λ-calculus) is a formal system designed to investigate functions and recursion. Although it was originally intended as a mathematical formalism and predates the electronic computer, it can be seen as ... [100%] 2024-08-29
3. Lambda calculus definition: Lambda calculus is a formal mathematical system based on lambda abstraction and function application. Two definitions of the language are given here: a standard definition, and a definition using mathematical formulas. (Summary of formal definitions of lambda calculus) [81%] 2023-11-09 [Lambda calculus]
4. Lambda-calculus: lambda calculus. The lambda calculus was introduced in 1932–1933 by A. (Mathematics) [100%] 2023-08-11
5. Typed lambda calculus: A typed lambda calculus is a typed formalism that uses the lambda-symbol (\displaystyle{ \lambda }[/math]) to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms;. [81%] 2022-10-05 [Lambda calculus] [Logic in computer science]...
6. Deductive lambda calculus: Deductive lambda calculus considers what happens when lambda terms are regarded as mathematical expressions. One interpretation of the untyped lambda calculus is as a programming language where evaluation proceeds by performing reductions on an expression until it is in normal ... [81%] 2023-09-25 [Lambda calculus]
7. The Lambda Calculus: The \(\lambda\)-calculus is, at heart, a simple notation for functions and application. The main ideas are applying a function to an argument and forming functions by abstraction. (Philosophy) [81%] 2022-01-06
8. Deductive lambda calculus: Deductive lambda calculus considers what happens when lambda terms are regarded as mathematical expressions. One interpretation of the untyped lambda calculus is as a programming language where evaluation proceeds by performing reductions on an expression until it is in normal ... [81%] 2023-12-19 [Lambda calculus]
9. Reduction strategy (lambda calculus): In lambda calculus, a branch of mathematical logic concerned with the formal study of functions, a reduction strategy is how a complex expression is reduced to a simple expression by successive reduction steps. It is similar to but subtly different ... (Lambda calculus) [70%] 2023-08-29 [Lambda calculus] [Programming language semantics]...
10. Simply typed lambda calculus: The simply typed lambda calculus ( λ → {\displaystyle \lambda ^{\to }} ), a form of type theory, is a typed interpretation of the lambda calculus with only one type constructor ( → {\displaystyle \to } ) that builds function types. It is the canonical and simplest example of ... (Formal system in mathematical logic) [70%] 2024-03-20 [Lambda calculus] [Theory of computation]...
11. Knights of the Lambda Calculus: The Knights of the Lambda Calculus is a semi-fictional organization of expert Lisp and Scheme hackers. The name refers to the lambda calculus, a mathematical formalism invented by Alonzo Church, with which Lisp is intimately connected, and references the ... [63%] 2023-11-15 [Lambda calculus]
12. Knights of the Lambda Calculus: The Knights of the Lambda Calculus is a semi-fictional organization of expert Lisp and Scheme hackers. The name refers to the lambda calculus, a mathematical formalism invented by Alonzo Church, with which Lisp is intimately connected, and references the ... (Semi-fictional hacking organization) [63%] 2024-02-21 [Lambda calculus] [Fictional knights]...