On infinite \(\eta\)-expansion

DOI10.1016/S1631-073X(02)02095-2zbMath0996.03009MaRDI QIDQ1598516

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

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

Related Items (1)

Definability and Full Abstraction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• 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

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