scientific article; zbMATH DE number 1469885

zbMath0954.03001MaRDI QIDQ4488199

Harold Simmons

Publication date: 4 July 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

proof theorycomputabilitylambda calculusCurry-Howard correspondenceordinal numbercombinatorsubrecursive hierarchy

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Recursive functions and relations, subrecursive hierarchies (03D20) Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15) Combinatory logic and lambda calculus (03B40) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach

This page was built for publication: