Recursion theory and the lambda-calculus

DOI10.2307/2273382zbMath0488.03023OpenAlexW1996928519MaRDI QIDQ3949038

Robert Byerly

Publication date: 1982

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273382

zbMATH Keywords

Goedel numbersuniformly reflexive structurescategorical recursion-theoretic notionsclosed lambda-termsemantics for lambda-calculus

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Combinatory logic and lambda calculus (03B40)

Cites Work

• An invariance notion in recursion theory
• Unnamed Item

This page was built for publication: Recursion theory and the lambda-calculus