scientific article; zbMATH DE number 937379
From MaRDI portal
Recommendations
Cited in
(27)- From Böhm's theorem to observational equivalences: an informal account
- Models of \(\lambda\)-calculus and the weak MSO logic
- Infinitary combinatory reduction systems
- Graph easy sets of mute lambda terms
- scientific article; zbMATH DE number 7199590 (Why is no real title available?)
- A finite equational axiomatization of the functional algebras for the lambda calculus
- scientific article; zbMATH DE number 956467 (Why is no real title available?)
- The infinitary lambda calculus of the infinite eta Böhm trees
- scientific article; zbMATH DE number 782023 (Why is no real title available?)
- Intersection types for \(\lambda\)-trees
- Infinite \(\lambda\)-calculus and types
- Innocent game models of untyped \(\lambda\)-calculus
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus
- Infinitary lambda calculus
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
- Applications of infinitary lambda calculus
- Infinitary lambda calculus and discrimination of Berarducci trees.
- On the algebraic models of lambda calculus
- On modularity in infinitary term rewriting
- Skew confluence and the lambda calculus with letrec
- A class of bounded functions, a database language and an extended lambda calculus
- Highlights in infinitary rewriting and lambda calculus
- Encoding many-valued logic in $\lambda$-calculus
- Simple easy terms
- Easy lambda-terms are not always simple
- Clocked lambda calculus
- Comparing Böhm-Like Trees
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4896520)
