@article{alesbarbdeza06,
  volume = {355},
  number = {2},
  pdf = {http://www.di.unito.it/~dezani/papers/abdtcs.pdf},
  author = {Alessi, Fabio and Barbanera, Franco and Dezani-Ciancaglini,
            Mariangiola},
  title = {Intersection Types and Lambda Models},
  abstract = {Invariance of interpretation by $\beta$-conversion is one of the
              minimal requirements for any standard model for the
              $\lambda$-calculus. With the intersection type systems being a
              general framework for the study of semantic domains for the
              $\lambda$-calculus, the present paper provides a (syntactic)
              characterisation of the above mentioned requirement in terms of
              characterisation results for intersection type assignment systems.
              Instead of considering conversion as a whole, reduction and
              expansion will be considered separately. Not only for usual
              computational rules like $\beta$, $\eta$, but also for a number of
              relevant restrictions of those. Characterisations will be also
              provided for (intersection) filter structures that are indeed
              $\lambda$-models.},
  year = 2006,
  journal = {Theoretical Compututer Science},
  pages = {108--126},
}

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)