lambda arrow calculus

GPTKB entity

Statements (10)
Predicate Object
gptkbp:instanceOf formal semantics
gptkbp:field gptkb:logic
theoretical computer science
https://www.w3.org/2000/01/rdf-schema#label lambda arrow calculus
gptkbp:relatedTo gptkb:lambda_calculus
gptkb:category_theory
gptkbp:usedFor modeling computation
functional programming semantics
gptkbp:bfsParent gptkb:simply_typed_lambda_calculus
gptkbp:bfsLayer 6