Statements (45)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
formal semantics
|
| gptkbp:creator |
gptkb:Alonzo_Church
|
| gptkbp:field |
gptkb:logic
computer science |
| gptkbp:hasConcept |
alpha conversion
beta reduction function application eta conversion function abstraction variable binding |
| gptkbp:hasProperty |
no built-in data types
all computation via function application basis for Church encoding basis for Curry-Howard correspondence basis for category theory basis for denotational semantics basis for functional programming basis for proof theory expresses all computable functions minimalist formalism no distinction between functions and data no explicit control structures no explicit memory model variables are placeholders |
| gptkbp:hasVariant |
gptkb:polymorphic_lambda_calculus
gptkb:simply_typed_lambda_calculus gptkb:untyped_lambda_calculus |
| https://www.w3.org/2000/01/rdf-schema#label |
Lambda Calculus
|
| gptkbp:influenced |
gptkb:logic
functional programming languages theory of programming languages |
| gptkbp:introducedIn |
1930s
|
| gptkbp:isTuringComplete |
yes
|
| gptkbp:notation |
λ (lambda symbol)
|
| gptkbp:purpose |
study of computation
|
| gptkbp:relatedTo |
Technical Machine
combinatory logic recursive functions |
| gptkbp:usedFor |
defining computable functions
studying function definition studying recursion studying substitution studying variable binding |
| gptkbp:bfsParent |
gptkb:Scilla
|
| gptkbp:bfsLayer |
5
|