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

DOI10.1017/S096012951500033XzbMATH Open1371.03018OpenAlexW2230871873MaRDI QIDQ5269002FDOQ5269002

Authors: Fer-Jan De Vries, Paula 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

Recommendations

• scientific article; zbMATH DE number 2090071
• Infinitary lambda calculus
• Infinitary lambda calculi and böhm models
• On infinite \(\eta\)-expansion
• scientific article; zbMATH DE number 759438

zbMATH Keywords

models of lambda calculusinfinitary lambda calculusinfinite eta Böhm trees

Mathematics Subject Classification ID

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

Cites Work

• An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Type theories, normal forms, and \(D_{\infty}\)-lambda-models
• Title not available (Why is that?)
• Intersection types for \(\lambda\)-trees
• Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
• Title not available (Why is that?)
• Weakening the axiom of overlap in infinitary 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
• Infinitary lambda calculus
• Infinitary lambda calculi and böhm models
• Full abstraction in the lazy lambda calculus
• Transfinite reductions in orthogonal term rewriting systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On confluence and residuals in Cauchy convergent transfinite rewriting
• Typed Lambda Calculi and Applications

Cited In (12)

• On infinite \(\eta\)-expansion
• Title not available (Why is that?)
• Title not available (Why is that?)
• Infinitary lambda calculi and böhm models
• Computing with Böhm trees
• Title not available (Why is that?)
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Typed Lambda Calculi and Applications
• Infinitary lambda calculus and discrimination of Berarducci trees.
• Title not available (Why is that?)
• Computer Science Logic
• Title not available (Why is that?)

Uses Software

• Automath

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

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