Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Riccardo Treglia"'
Publikováno v:
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science, 2022, 32 (7), pp.934-981. ⟨10.1017/S0960129522000433⟩
Mathematical Structures in Computer Science, 2022, 32 (7), pp.934-981. ⟨10.1017/S0960129522000433⟩
We study the reduction in a $\lambda$ -calculus derived from Moggi’s computational one, which we call the computational core. The reduction relation consists of rules obtained by orienting three monadic laws. Such laws, in particular associativity
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c5c6250794934210547c7118a426959a
https://hdl.handle.net/2318/1887980
https://hdl.handle.net/2318/1887980
Autor:
Riccardo Treglia, Ugo de'Liguoro
Publikováno v:
PPDP
We study the semantics of an untyped λ-calculus equipped with operators representing read and write operations from and to a global store. We adopt the monadic approach to model side effects and treat read and write as algebraic operations over a mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::17489369b558c9921679c5f3957c05f3
http://hdl.handle.net/2318/1814740
http://hdl.handle.net/2318/1814740
Autor:
Ugo de'Liguoro, Riccardo Treglia
We study a Curry style type assignment system for untyped λ-calculi with effects, based on Moggi's monadic approach. Moving from the abstract definition of monads, we introduce a version of the call-by-value computational λ-calculus based on Wadler
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0c9df8818544950366fc30a9d11db571
http://hdl.handle.net/2318/1759632
http://hdl.handle.net/2318/1759632
Autor:
Guerrieri, Giulio, Manara, Giulia, Pellissier, Luc, Tortora de Falco, Lorenzo, Vaux Auclair, Lionel
Publikováno v:
5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021)
5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy
5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy
International audience; We present a formalization of proof-nets (and more generally, proofstructures) for the multiplicative-exponential fragment of linear logic, with a novel treatment of boxes: instead of integrating boxes into to the graphical st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bdd936c384180dd6120329320ac08c1c
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271478
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271478