lambda calculus

GPTKB entity

Statements (48)
Predicate Object
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