The infinitary lambda calculus of the infinite eta Böhm trees
From MaRDI portal
(Redirected from Publication:5269002)
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 K-calculus; and an application of a labelled -calculus
- Full abstraction in the lazy lambda calculus
- Infinitary lambda calculi and böhm models
- Infinitary lambda calculus
- Intersection types for -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 -expansion
- scientific article; zbMATH DE number 2090071 (Why is no real title available?)
- Infinitary lambda calculi and böhm models
- Computing with Böhm trees
- scientific article; zbMATH DE number 937379 (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.
- scientific article; zbMATH DE number 759438 (Why is no real title available?)
- Highlights in infinitary rewriting and lambda calculus
- Clocked lambda calculus
- Computer Science Logic
- scientific article; zbMATH DE number 7204439 (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)
