Embedding Markov normal algorithms within the λ-calculus

DOI10.1080/00207167208803057zbMath0261.68026OpenAlexW2136494007MaRDI QIDQ5677073

Henry F. Ledgard

Publication date: 1972

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207167208803057

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computability and recursion theory (03D99) Combinatory logic and lambda calculus (03B40) Algorithms in computer science (68W99)

Cites Work

• Unnamed Item
• Unnamed Item
• AXLE2
• The Calculi of Lambda Conversion. (AM-6)

This page was built for publication: Embedding Markov normal algorithms within the λ-calculus