On infinite -expansion

DOI10.1016/S1631-073X(02)02095-2zbMATH Open0996.03009MaRDI QIDQ1598516FDOQ1598516

Authors: Pierre-Louis Curien 

Publication date: 2002

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

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

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)

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Title not available (Why is that?)
• A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
• Title not available (Why is that?)
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• Title not available (Why is that?)

Cited In (6)

• The infinitary lambda calculus of the infinite eta Böhm trees
• Definability and full abstraction
• The delta expansion in zero dimensions
• Title not available (Why is that?)
• Computer Science Logic
• ℓ GOES TO PLUS INFINITY : AN UPDATE

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)