Terminal coalgebras in well-founded set theory
Theoretical Computer Science
Full abstraction in the lazy lambda calculus
Information and Computation
Lambda-calculi for (strict) parallel functions
Information and Computation
The lazy Lambda calculus in a concurrency scenario
Information and Computation
Transfinite reductions in orthogonal term rewriting systems
Information and Computation
The discriminating power of multiplicities in the &lgr;-calculus
Information and Computation
NSL '94 Proceedings of the first workshop on Non-standard logics and logical aspects of computer science
A Filter Model for Concurrent $\lambda$-Calculus
SIAM Journal on Computing
Infinite &lgr;-calculus and types
Theoretical Computer Science - Special issue: Gentzen
Discrimination by parallel observers: the algorithm
Information and Computation
On the semantics of the call-by-name CPS transform
Theoretical Computer Science
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Calculi, types and applications
Theoretical Computer Science
Infinitary Combinatory Reduction Systems
Information and Computation
Continuity and discontinuity in lambda calculus
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
Order structures on böhm-like models
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Standardization and böhm trees for Λµ-calculus
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
Böhm theorem and Böhm trees for the Λμ-calculus
Theoretical Computer Science
Highlights in infinitary rewriting and lambda calculus
Theoretical Computer Science
| Hi-index | 0.00 |
We propose an extension of lambda calculus for which the Berarducci trees equality coincides with observational equivalence, when we observe rootstable or rootactive behavior of terms. In one direction the proof is an adaptation of the classical Böhm out technique. In the other direction the proof is based on confluence for Strongly converging reductions in this extension.