simply typed lambda calculus
Sign in to saveAlso known as STLC, λ→
formal system in mathematical logic
Connections
lambda calculus
Entity
evaluation strategy
Entity
Church encoding
Entity
normal form
Entity
Alan Turing
Entity
International Standard Book Number
Entity
natural number
Entity
integer
Entity
set
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
Princeton University
Entity
polynomial
Entity
University of California, Los Angeles
Entity
Q180686
Entity
Cartesian product
Entity
JSTOR
Organization
recursion
Entity
bibcode
Entity
Q118398
Entity