scientific article; zbMATH DE number 937379
From MaRDI portal
Publication:4896520
Recommendations
Cited in
(28)- Applications of infinitary lambda calculus
- Infinite \(\lambda\)-calculus and types
- A finite equational axiomatization of the functional algebras for the lambda calculus
- Infinitary lambda calculus
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
- On the algebraic models of lambda calculus
- Skew confluence and the lambda calculus with letrec
- Infinitary lambda calculus and discrimination of Berarducci trees.
- Highlights in infinitary rewriting and lambda calculus
- A class of bounded functions, a database language and an extended lambda calculus
- On modularity in infinitary term rewriting
- Simple easy terms
- Graph easy sets of mute lambda terms
- Easy lambda-terms are not always simple
- Comparing Böhm-Like Trees
- scientific article; zbMATH DE number 956467 (Why is no real title available?)
- The interpretation of unsolvable λ-terms in models of untyped λ-calculus
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus
- scientific article; zbMATH DE number 782023 (Why is no real title available?)
- From Böhm's theorem to observational equivalences: an informal account
- Encoding many-valued logic in \lambda-calculus
- A new coinductive confluence proof for infinitary lambda calculus
- The infinitary lambda calculus of the infinite eta Böhm trees
- Clocked lambda calculus
- Models of -calculus and the weak MSO logic
- Infinitary combinatory reduction systems
- Intersection types for -trees
- Innocent game models of untyped -calculus
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)
