Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
de'Liguoro, Ugo
57  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

From semantics to types: The case of the imperative λ-calcu..:

de'Liguoro, Ugo ; Treglia, Riccardo
volume:973.  , 2023
Link: https://hdl.handle.net/2..
 
?
2

Front Matter, Table of Contents, Preface, Conference Organi..:

de'Liguoro, Ugo ; Berardi, Stefano ; Altenkirch, Thorsten
doi:10.4230/LIPIcs.TYPES.2020.0.  , 2021
Link: https://doi.org/10.4230/..
 
?
3

On reduction and normalization in the computational core:

Faggian, Claudia ; Guerrieri, Giulio ; de'Liguoro, Ugo.
http://arxiv.org/abs/2104.10267.  , 2021
Link: http://arxiv.org/abs/210..
 
?
4

LIPIcs, Volume 188, TYPES 2020, Complete Volume:

de'Liguoro, Ugo ; Berardi, Stefano ; Altenkirch, Thorsten
doi:10.4230/LIPIcs.TYPES.2020.  , 2021
Link: https://doi.org/10.4230/..
 
?
5

Intersection Types for a Computational Lambda-Calculus with..:

de'Liguoro, Ugo ; Treglia, Riccardo
http://arxiv.org/abs/2104.01358.  , 2021
Link: http://arxiv.org/abs/210..
 
?
6

From Semantics to Types: the Case of the Imperative lambda-..:

de'Liguoro, Ugo ; Treglia, Riccardo
http://arxiv.org/abs/2112.14053.  , 2021
Link: http://arxiv.org/abs/211..
 
?
7

Two notions of sub-behaviour for session-based client/serve..:

Barbanera, Franco ; de'Liguoro, Ugo
info:eu-repo/semantics/altIdentifier/isbn/9781450388214.  , 2020
Link: http://hdl.handle.net/23..
 
?
8

Towards Refinable Choreographies:

de'Liguoro, Ugo ; Melgratti, Hernán ; Tuosto, Emilio
http://arxiv.org/abs/2009.07991.  , 2020
Link: http://arxiv.org/abs/200..
 
?
9

The untyped computational λ-calculus and its intersection t..:

de'Liguoro, Ugo ; Treglia, Riccardo
info:eu-repo/semantics/altIdentifier/wos/WOS:000582805700011.  , 2020
Link: http://hdl.handle.net/23..
 
?
10

Intersection Types for the Computational lambda-Calculus:

de'Liguoro, Ugo ; Treglia, Riccardo
http://arxiv.org/abs/1907.05706.  , 2019
Link: http://arxiv.org/abs/190..
 
?
11

A theory of retractable and speculative contracts:

Barbanera, Franco ; Lanese, Ivan ; De'Liguoro, Ugo
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.scico.2018.06.005.  , 2018
Link: https://inria.hal.scienc..
 
?
12

Mailbox Types for Unordered Interactions:

de'Liguoro, Ugo ; Padovani, Luca
doi:10.4230/LIPIcs.ECOOP.2018.15.  , 2018
Link: https://doi.org/10.4230/..
 
?
13

Global Types for Open Systems:

Barbanera, Franco ; de'Liguoro, Ugo ; Hennicker, Rolf
http://arxiv.org/abs/1810.02468.  , 2018
Link: http://arxiv.org/abs/181..
 
?
14

Mailbox Types for Unordered Interactions:

de'Liguoro, Ugo ; Padovani, Luca
http://arxiv.org/abs/1801.04167.  , 2018
Link: http://arxiv.org/abs/180..
 
?
15

A theory of retractable and speculative contracts:

Barbanera, Franco ; Lanese, Ivan ; De'Liguoro, Ugo
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.scico.2018.06.005.  , 2018
Link: https://inria.hal.scienc..
 
1-15