Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

ApproxLM12 (Article)
Author(s) Ugo de' Liguoro
Title« The Approximation Theorem for the Λμ-Calculus »
JournalMSCS
Page(s)??-??
Year2015
Noteavailable on CJO2015. doi:10.1017/S0960129515000286.
Abstract
We consider a notion of approximation for terms of de Groote-Saurin Λμ-calculus. Then we introduce an intersection type assignment system for that calculus which is invariant under subject conversion. The type assignment system also induces a filter model, which is an extensional Λμ-model in the sense of Nakazawa and Katsumata. We then establish the approximation theorem, stating that a type can be assigned to a term in the system if and only if it can be assigned to same of its approximations.

Download the complete article: ApproxLM.pdf

BibTeX code

@article{ApproxLM12,
  author = {Ugo de' Liguoro},
  note = {available on CJO2015. doi:10.1017/S0960129515000286.},
  tag = {{Mathematical Structures in Computer Science}},
  title = {{The Approximation Theorem for the $\Lambda\mu$-Calculus}},
  localfile = {http://www.di.unito.it/~deligu/papers/ApproxLM.pdf},
  abstract = {We consider a notion of approximation for terms of de
              Groote-Saurin $\Lambda\mu$-calculus. Then we introduce an
              intersection type assignment system for that calculus which is
              invariant under subject conversion. The type assignment system
              also induces a filter model, which is an extensional
              $\Lambda\mu$-model in the sense of Nakazawa and Katsumata. We then
              establish the approximation theorem, stating that a type can be
              assigned to a term in the system if and only if it can be assigned
              to same of its approximations.},
  year = {2015},
  pages = {??-??},
  journal = {{MSCS}},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

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

Valid HTML 4.01!