Simple Easy Terms |
| |
Authors: | F Alessi S Lusin |
| |
Affiliation: | aDipartimento di Matematica ed Informatica, Università di Udine, Via delle Scienze 208, 33100 Udine, Italy;bDipartimento di Informatica, Università 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 ω2ω2 are simple easy, so providing alternative proof of easiness for them. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|