Processes, Terms and Cycles: Steps on the Road to Infinity

DOI10.1007/11601548zbMath1171.03310OpenAlexW2234185834MaRDI QIDQ5898150

Richard Statman, Hendrik Pieter Barendregt

Publication date: 13 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11601548

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Theory of numerations, effectively presented structures (03D45) Combinatory logic and lambda calculus (03B40)

Related Items (3)

On sets of terms having a given intersection type ⋮ ASMs and Operational Algorithmic Completeness of Lambda Calculus ⋮ Unnamed Item

This page was built for publication: Processes, Terms and Cycles: Steps on the Road to Infinity