The infinitary lambda calculus of the infinite eta Böhm trees
From MaRDI portal
Publication:5269002
DOI10.1017/S096012951500033XzbMATH Open1371.03018OpenAlexW2230871873MaRDI QIDQ5269002FDOQ5269002
Paula Severi, Fer-Jan De Vries
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
Combinatory logic and lambda calculus (03B40) Models of other mathematical theories (03C65) Other infinitary logic (03C75)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Intersection types for \(\lambda\)-trees
- Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
- 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
- On confluence and residuals in Cauchy convergent transfinite rewriting
- Typed Lambda Calculi and Applications
Cited In (8)
Uses Software
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)
