Simple Easy Terms

Simple Easy Terms

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 ...

Easy lambda-terms are not always simple

A closed λ-termM is easy if, for any other closed termN , the lambda theory generated by M = N is consistent, while it is simple easy if, given an arbitrary intersection type τ , one can find a suitable pre-order on types which allows to derive τ forM . Simple easiness implies easiness. The question whether easiness implies simple easiness constitutes Problem 19 in the TLCA list of open problem...

Filter Models and Easy Terms

Simple is not easy

I review and challenge the views on simplicity and its role in linguistics put forward by Ludlow (2011). In particular, I criticize the claim that simplicity—in the sense pertinent to science—is nothing more than ease of use or “user-friendliness”, motivated by economy of (cognitive) labor. I argue that Ludlow’s discussion fails to do justice to the diversity of factors that are relevant to sim...

Simple Methods of Photogrammetry: Easy and Fast

The need for surveying and recording the cultural property is increasing every day and is demanding proper answers from experts and scientists. The answer to such a problem must be based in the use of photogrammetry and other new technologies whose use must be widely extended. Experts in such technics are not enough in number for solving the problem. This means that they can’t take on their sho...