Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
de'Liguoro, Ugo
57
Ergebnisse:
OpenAccess-Volltexte X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
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