gptkbp:instanceOf
|
formal semantics
|
gptkbp:expressedIn
|
computable functions
|
gptkbp:field
|
gptkb:logic
computer science
|
gptkbp:hasApplication
|
gptkb:artificial_intelligence
gptkb:logic
gptkb:category_theory
formal semantics
proof theory
automated theorem proving
denotational semantics
compiler design
functional programming languages
mathematical foundations of computation
programming language theory
syntactic analysis
type systems
|
gptkbp:hasConcept
|
alpha conversion
beta reduction
bound variable
free variable
lambda abstraction
normal form
|
gptkbp:hasVariant
|
gptkb:polymorphic_lambda_calculus
gptkb:simply_typed_lambda_calculus
gptkb:untyped_lambda_calculus
typed lambda calculus
|
https://www.w3.org/2000/01/rdf-schema#label
|
lambda calculus
|
gptkbp:influenced
|
gptkb:logic
gptkb:Haskell
gptkb:LISP
combinatory logic
functional programming
|
gptkbp:introducedIn
|
1930s
|
gptkbp:inventedBy
|
gptkb:Alonzo_Church
|
gptkbp:notation
|
λ
|
gptkbp:publishedIn
|
gptkb:An_Unsolvable_Problem_of_Elementary_Number_Theory
gptkb:The_Calculi_of_Lambda-Conversion
|
gptkbp:relatedTo
|
gptkb:Church-Turing_thesis
Technical Machine
combinatory logic
|
gptkbp:usedFor
|
recursion
function application
function definition
|
gptkbp:bfsParent
|
gptkb:Alonzo_Church
gptkb:logic
gptkb:Technical_Machine
|
gptkbp:bfsLayer
|
4
|