Pages that link to "Item:Q1283777"
From MaRDI portal
The following pages link to A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777):
Displaying 16 items.
- Lambda abstraction algebras: representation theorems (Q674002) (← links)
- Decidability of the restriction equational theory in the partial lambda calculus (Q1120561) (← links)
- Enlargements of functional algebras for the lambda calculus (Q1129261) (← links)
- Infinite \(\lambda\)-calculus and types (Q1275621) (← links)
- On the algebraic models of lambda calculus (Q1583488) (← links)
- A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols (Q1744440) (← links)
- Equality between functionals in the presence of coproducts (Q1854334) (← links)
- An algebraic theory of clones (Q2120441) (← links)
- Static extensivity analysis for \(\lambda\)-definable functions over lattices (Q2493277) (← links)
- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus (Q2914680) (← links)
- Axioms for the Theory of Lambda-Conversion (Q3714048) (← links)
- (Q4260390) (← links)
- Axiomatic rewriting theory II: the -calculus enjoys finite normalisation cones (Q4500179) (← links)
- The Lattice of Lambda Theories (Q4820472) (← links)
- Towards Lambda Calculus Order-Incompleteness (Q4916175) (← links)
- Initial algebra semantics for lambda calculi (Q5887531) (← links)