3819 search results - page 1 / 764 » Simple Easy Terms |
ENTCS
2002
13 years 5 months ago
2002
We illustrate the use of intersection types as a semantic tool for proving easiness result on -terms. We single out the notion of simple easiness for -terms as a useful semantic p...
CORR
2002
Springer
13 years 5 months ago
2002
Springer
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of -theories. Relying on the notion of easy intersection type theory we succes...
GD
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. We present a simple, linear-time algorithm to determine horizontal coordinates in layered layouts subject to a given ordering within each layer. The algorithm is easy to ...
PUC
2010
13 years 3 months ago
2010
We examine the effects of new technologies for digital photography on people’s longer term storage and access to collections of personal photos. We report an empirical study of p...
CSEDU
2011
12 years 5 months ago
2011
