Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Electronic Notes in Theoretical Computer Science 70 No. 1 (2002) URL: http://www.elsevier.nl/locate/entcs/volume70.html 18 pages
 

Summary: Electronic Notes in Theoretical Computer Science 70 No. 1 (2002)
URL: http://www.elsevier.nl/locate/entcs/volume70.html 18 pages
Simple Easy Terms
F. Alessi 1
Dipartimento di Matematica ed Informatica
Universit`a di Udine, Via delle Scienze 208
33100 Udine, Italy
S. Lusin 2
Dipartimento di Informatica
Universit`a di Venezia
via Torino 153
30170 Venezia, Italy
Abstract
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 property for building filter models with special purpose features. Relying
on the notion of easy intersection type theory, given -terms M and E, with E
simple easy, we successfully build a filter model which equates interpretation of M
and E, hence proving that simple easiness implies easiness. We finally prove that a
class of -terms generated by 22 are simple easy, so providing alternative proof

  

Source: Alessi, Fabio - Dipartimento di Matematica e Informatica, UniversitÓ degli Studi di Udine
van Bakel, Steffen - Department of Computing, Imperial College, London

 

Collections: Computer Technologies and Information Sciences