Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Simonetta Ronchi Della Rocca"'
Publikováno v:
Fundamenta Informaticae. 170:241-265
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aeb8d8989d93c7a151fedb8af1ab8381
https://doi.org/10.3233/fi-2019-1862
https://doi.org/10.3233/fi-2019-1862
Publikováno v:
Mathematical Structures in Computer Science. 27:626-650
Intersection type assignment systems can be used as a general framework for building logical models of �-calculus that allow to reason about the denotation of terms in a finitary way. We define essential models (a new class of logical models) throu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a7fe14bdd293c4f0572e875dd8c28fcf
https://doi.org/10.1017/s0960129515000316
https://doi.org/10.1017/s0960129515000316
Publikováno v:
Science of Computer Programming, 111, 3, pp. 363-364
Science of Computer Programming, 111, 363-364
Shkaravska, O, Della Rocca, S R & van Eekelen, M 2015, ' Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011 ', Science of computer programming, vol. 111, no. Part 3, pp. 363-364 . https://doi.org/10.1016/j.scico.2015.08.008
Science of Computer Programming, 111, 363-364
Shkaravska, O, Della Rocca, S R & van Eekelen, M 2015, ' Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011 ', Science of computer programming, vol. 111, no. Part 3, pp. 363-364 . https://doi.org/10.1016/j.scico.2015.08.008
Contains fulltext : 147342.pdf (Publisher’s version ) (Closed access)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe8b7bef0e54bf7c6d6113815e1328df
https://doi.org/10.1016/j.scico.2015.08.008
https://doi.org/10.1016/j.scico.2015.08.008
Publikováno v:
Studia Logica. 59:417-448
The introduction of Linear Logic extends the Curry-Howard Isomorphism to intensional aspects of the typed functional programming. In particular, every formula of Linear Logic tells whether the term it is a type for, can be either erased/duplicated or
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1e61be8542f31a2c6afdd644f60aa701
https://doi.org/10.1023/a:1005092630115
https://doi.org/10.1023/a:1005092630115
Autor:
Simonetta Ronchi Della Rocca
Publikováno v:
Information and Control. (3):201-216
The filter λ-model is a model of the ,λ-calculus, based on a system of type assignment which extends the basic functionality theory of Curry, invented in order to give a completeness proof for Scott's semantics of Curry's type assignment. In this p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3b766e68650799bf87d06eaf3562fa1e