Logo del repository
  1. Home
 
Opzioni

Simple Easy Terms

ALESSI, Fabio
•
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
Archivio
http://hdl.handle.net/11390/902556
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-18944386755
Diritti
closed access
Soggetti
  • Easy lambda term

  • Simple easy lambda te...

  • Intersection types

Scopus© citazioni
5
Data di acquisizione
Jun 14, 2022
Vedi dettagli
Visualizzazioni
1
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback