The infinitary lambda calculus of the infinite eta Böhm trees
From MaRDI portal
Publication:5269002
DOI10.1017/S096012951500033XzbMATH Open1371.03018OpenAlexW2230871873MaRDI QIDQ5269002FDOQ5269002
Recommendations
Cites work
- scientific article; zbMATH DE number 3709584 (Why is no real title available?)
- scientific article; zbMATH DE number 3523517 (Why is no real title available?)
- scientific article; zbMATH DE number 1332646 (Why is no real title available?)
- scientific article; zbMATH DE number 1889386 (Why is no real title available?)
- scientific article; zbMATH DE number 2090071 (Why is no real title available?)
- scientific article; zbMATH DE number 937379 (Why is no real title available?)
- 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 calculi and böhm models
- Infinitary lambda calculus
- Intersection types for \(\lambda\)-trees
- On confluence and residuals in Cauchy convergent transfinite rewriting
- 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
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Transfinite reductions in orthogonal term rewriting systems
- Type theories, normal forms, and \(D_{\infty}\)-lambda-models
- Typed Lambda Calculi and Applications
- Weakening the axiom of overlap in infinitary lambda calculus
Cited in
(16)
- On infinite \(\eta\)-expansion
- Title not available (Why is no real title available?)
- Infinitary lambda calculi and böhm models
- Computing with Böhm trees
- Title not available (Why is no real title available?)
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Typed Lambda Calculi and Applications
- Strict ideal completions of the lambda calculus
- Standard normalization for infinite typed terms
- Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
- Infinitary lambda calculus and discrimination of Berarducci trees.
- Title not available (Why is no real title available?)
- Highlights in infinitary rewriting and lambda calculus
- Clocked lambda calculus
- Computer Science Logic
- Title not available (Why is no real title available?)
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)
