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

 ApproxLM12 (Article) Author(s) Ugo de' Liguoro Title « The Approximation Theorem for the $\Lambda \mu$-Calculus » Journal MSCS Page(s) ??-?? Year 2015 Note available on CJO2015. doi:10.1017/S0960129515000286.
 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.

 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}},
}

 Formal Methods in Computing(Most of the papers antecedent to 1995are 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)