Searching for "Simple Easy Terms." – sorted by Relevance.
-
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

