Theoretical Informatics and Applications Informatique Théorique et Applications Will be set by the publisher A NON-UNIFORM FINITARY RELATIONAL SEMANTICS
by
Lionel Vaux
BibTeX
@MISC{Vaux_theoreticalinformatics,
author = {Lionel Vaux},
title = {Theoretical Informatics and Applications Informatique Théorique et Applications Will be set by the publisher A NON-UNIFORM FINITARY RELATIONAL SEMANTICS},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We study iteration and recursion operators in the denotational semantics of typed λ-calculi derived from the multiset relational model of linear logic. Although these operators are de ned as xpoints of typed functionals, we prove them nitary in the sense of Ehrhard's niteness spaces. 1991 Mathematics Subject Classi cation. 03B70, 03D65, 68Q55. 1.
