The infinitary lambda calculus of the infinite eta Böhm trees

DOI10.1017/S096012951500033XzbMath1371.03018OpenAlexW2230871873MaRDI QIDQ5269002

Fer-Jan de Vries, Paula G.Severi

Publication date: 14 June 2017

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s096012951500033x

zbMATH Keywords

models of lambda calculusinfinitary lambda calculusinfinite eta Böhm trees

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Other infinitary logic (03C75) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

Uses Software

• Automath

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
• Type theories, normal forms, and \(D_{\infty}\)-lambda-models
• An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
• Full abstraction in the lazy lambda calculus
• Infinitary lambda calculus
• Transfinite reductions in orthogonal term rewriting systems
• On confluence and residuals in Cauchy convergent transfinite rewriting
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• Infinitary lambda calculi and böhm models
• Typed Lambda Calculi and Applications
• Intersection types for \(\lambda\)-trees
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The infinitary lambda calculus of the infinite eta Böhm trees