Standardization and Böhm Trees for Λμ-Calculus

DOI10.1007/978-3-642-12251-4_11zbMath1284.68137OpenAlexW2622005638MaRDI QIDQ3558334

Alexis Saurin

Publication date: 4 May 2010

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12251-4_11

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus ⋮ The approximation theorem for the Λμ-calculus ⋮ Strong reduction of combinatory calculus with streams

This page was built for publication: Standardization and Böhm Trees for Λμ-Calculus