Home
Esportazione
Statistica
Opzioni
Visualizza tutti i metadati (visione tecnica)
Simple Easy Terms
F. Alessi
•
S. Lusin
2003
conference object
Periodico
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
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 ω2 ω2 are simple easy, so providing alternative proof of easiness for them. © 2002 Published by Elsevier Science B.V.
DOI
10.1016/S1571-0661(04)80487-0
SCOPUS
2-s2.0-18944386755
Archivio
http://hdl.handle.net/11390/902556
Diritti
closed access
Soggetti
Easy lambda terms
Simple easy lambda te...
Intersection types
Visualizzazioni
1
Data di acquisizione
Jun 8, 2022
Vedi dettagli
google-scholar
Vedi dettagli