Searching for "Simple Easy Terms." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Simple Easy Terms
- …://www.elsevier.nl/locate/entcs/volume70.html 18 pages Abstract Simple Easy Terms F. Alessi 1 Dipartimento di Matematica ed Informatica…
- Cited by 10 (4 self) – Add To MetaCart
-
Intersection Types and Domain Operators
- …-model in which the interpretation of an arbitrary simple easy term is any filter which can be described by a…
- Cited by 6 (3 self) – Add To MetaCart
-
Intersection Types and Lambda Theories
- … the interpretation of an arbitrary simple easy term is any filter which can be described in an uniform way by a…
- Cited by 3 (1 self) – Add To MetaCart
-
Type Preorders and Recursive Terms
- … concerning simple easy terms. Roughly speaking, a simple easy term is a term to which one can assign…
- Cited by 1 (0 self) – Add To MetaCart
-
Easiness in graph models
- … in which the interpretation of a simple easy term can be any filter described by a continuous predicate…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 5.
