Searching for "The Lattice of Lambda Theories." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
The Lattice of Lambda Theories
- …The Lattice of Lambda Theories (Regular Research Paper) S. Lusin and A. Salibra Dip. Informatica…
- Add To MetaCart
-
Nonmodularity Results for Lambda Calculus
- … prove that the lattice of lambda theories is not modular and that the variety generated by the term…
- Cited by 5 (5 self) – Add To MetaCart
-
On The Algebraic Models Of Lambda Calculus
- … that the lattice of the subvarieties of lambda abstraction algebras is isomorphic to the lattice of lambda theories…
- Cited by 12 (8 self) – Add To MetaCart
-
Intersection Types and Domain Operators
- … consequences on the algebraic structure of the lattice of λ-theories. The second result is that for any simple…
- Cited by 6 (3 self) – Add To MetaCart
-
Easiness in graph models
- … structure of complete lattice (see Chapter 4 in [6]), where the meet of a family of lambda theories…
- Cited by 3 (1 self) – Add To MetaCart
-
The Variety Of Lambda Abstraction Algebras Does Not Admit N-Permutable Congruences For All N
- … lattice of subvarieties of LAA I 's is isomorphic to the complete lattice of lambda theories over…
- Add To MetaCart
-
A Continuum of Theories of Lambda Calculus Without Semantics
- … the lattice of lambda theories is a very rich and complex structure (see e.g. [3, 10, 24, 25, 49…
- Add To MetaCart
-
Topological Incompleteness and Order Incompleteness of the Lambda Calculus
- … the lattice of the lambda theories is a very rich and complex structure (see [3]), This article is a…
- Cited by 14 (8 self) – Add To MetaCart
-
The Minimal Graph Model of Lambda Calculus
- … the lattice of the lambda theories is a very rich and complex structure, syntactical techniques are usually…
- Cited by 6 (5 self) – Add To MetaCart
Showing 1 through 9.
