Infinitary lambda calculus and discrimination of Berarducci trees.
From MaRDI portal
Publication:1874272
DOI10.1016/S0304-3975(02)00809-5zbMath1038.68023OpenAlexW2058590458MaRDI QIDQ1874272
Paula G.Severi, Fer-Jan de Vries, Mariangiola Dezani-Ciancaglini
Publication date: 25 May 2003
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00809-5
Related Items (4)
Highlights in infinitary rewriting and lambda calculus ⋮ Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Infinitary combinatory reduction systems
Cites Work
- Unnamed Item
- Unnamed Item
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
- An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
- LCF considered as a programming language
- Fully abstract models of typed \(\lambda\)-calculi
- Full abstraction in the lazy lambda calculus
- Infinite \(\lambda\)-calculus and types
- Lambda-calculi for (strict) parallel functions
- The lazy lambda calculus in a concurrency scenario
- Infinitary lambda calculus
- CATS 2000 Computing: the Australasian theory symposium, Canberra, Australia, February 1--2, 2000
- On the semantics of the call-by-name CPS transform
- Discrimination by parallel observers: the algorithm.
- Transfinite reductions in orthogonal term rewriting systems
- The discriminating power of multiplicities in the \(\lambda\)-calculus
- Terminal coalgebras in well-founded set theory
- A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
- The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
- A Filter Model for Concurrent $\lambda$-Calculus
This page was built for publication: Infinitary lambda calculus and discrimination of Berarducci trees.
