On infinite -expansion

DOI10.1016/S1631-073X(02)02095-2MaRDI QIDQ1598516zbMATH OpenFDO

Authors Pierre-Louis Curien

Publication date 2002

Published in Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

zbMATH Keywords

infinite \(\eta\)-expansionordering on Böhm trees

Mathematics Subject Classification ID

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

Recommendations

• The infinitary lambda calculus of the infinite eta Böhm trees
• Typed Lambda Calculi and Applications
• Computer Science Logic
• scientific article; zbMATH DE number 2090071
• Partial order infinitary term rewriting and Böhm trees

Cites work

• scientific article; zbMATH DE number 3735772 (Why is no real title available?)
• scientific article; zbMATH DE number 3550683 (Why is no real title available?)
• scientific article; zbMATH DE number 1229489 (Why is no real title available?)
• A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(6)

• ℓ GOES TO PLUS INFINITY : AN UPDATE
• The infinitary lambda calculus of the infinite eta Böhm trees
• scientific article; zbMATH DE number 5373730 (Why is no real title available?)
• Definability and full abstraction
• Computer Science Logic
• The delta expansion in zero dimensions

This page was built for publication: On infinite \(\eta\)-expansion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1598516)