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
20
Ergebnisse:
Artikel (Online) X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
1
From semantics to types: The case of the imperative λ-calcu..:
de'Liguoro, Ugo
;
Treglia, Riccardo
Theoretical Computer Science. 973 (2023) - p. 114082 , 2023
Link:
https://doi.org/10.1016/..
?
2
Towards refinable choreographies:
de'Liguoro, Ugo
;
Melgratti, Hernán
;
Tuosto, Emilio
Journal of Logical and Algebraic Methods in Programming. 127 (2022) - p. 100776 , 2022
Link:
https://doi.org/10.1016/..
?
3
The untyped computational λ-calculus and its intersection t..:
de'Liguoro, Ugo
;
Treglia, Riccardo
Theoretical Computer Science. 846 (2020) - p. 141-159 , 2020
Link:
https://doi.org/10.1016/..
?
4
Session types and subtyping for orchestrated interactions:
Barbanera, Franco
;
de'Liguoro, Ugo
Journal of Logical and Algebraic Methods in Programming. 102 (2019) - p. 103-137 , 2019
Link:
https://doi.org/10.1016/..
?
5
Connecting open systems of communicating finite state machi..:
Barbanera, Franco
;
de'Liguoro, Ugo
;
Hennicker, Rolf
Journal of Logical and Algebraic Methods in Programming. 109 (2019) - p. 100476 , 2019
Link:
https://doi.org/10.1016/..
?
6
A theory of retractable and speculative contracts:
Barbanera, Franco
;
Lanese, Ivan
;
de'Liguoro, Ugo
Science of Computer Programming. 167 (2018) - p. 25-50 , 2018
Link:
https://doi.org/10.1016/..
?
7
Orchestrated session compliance:
Barbanera, Franco
;
van Bakel, Steffen
;
de'Liguoro, Ugo
Journal of Logical and Algebraic Methods in Programming. 86 (2017) 1 - p. 30-76 , 2017
Link:
https://doi.org/10.1016/..
?
8
Reversible client/server interactions:
Barbanera, Franco
;
Dezani-Ciancaglini, Mariangiola
;
de'Liguoro, Ugo
Formal Aspects of Computing. 28 (2016) 4 - p. 697-722 , 2016
Link:
https://doi.org/10.1007/..
?
9
The approximation theorem for the Λμ-calculus:
DE'LIGUORO, UGO
Mathematical Structures in Computer Science. 27 (2015) 5 - p. 560-580 , 2015
Link:
https://doi.org/10.1017/..
?
10
Sub-behaviour relations for session-based client/server sys..:
BARBANERA, FRANCO
;
DE'LIGUORO, UGO
Mathematical Structures in Computer Science. 25 (2014) 6 - p. 1339-1381 , 2014
Link:
https://doi.org/10.1017/..
?
11
Interactive Realizers: A New Approach to Program Extraction..:
Berardi, Stefano
;
de'Liguoro, Ugo
ACM Transactions on Computational Logic. 13 (2012) 2 - p. 1-21 , 2012
Link:
https://doi.org/10.1145/..
?
12
Interactive Realizers : A New Approach to Program Extrac..:
Berardi, Stefano
;
de'Liguoro, Ugo
ACM Transactions on Computational Logic (TOCL). 13 (2012) 2 - p. 1-21 , 2012
Link:
https://dl.acm.org/doi/1..
?
13
Toward the interpretation of non-constructive reasoning as ..:
Berardi, Stefano
;
de'Liguoro, Ugo
Information and Computation. 207 (2009) 1 - p. 63-81 , 2009
Link:
https://doi.org/10.1016/..
?
14
Calculi, types and applications:
Berardi, Stefano
;
de'Liguoro, Ugo
Theoretical Computer Science. 398 (2008) 1-3 - p. 1-11 , 2008
Link:
https://doi.org/10.1016/..
?
15
Logical Equivalence for Subtyping Object and Recursive Type:
van Bakel, Steffen
;
de'Liguoro, Ugo
Theory of Computing Systems. 42 (2007) 3 - p. 306-348 , 2007
Link:
https://doi.org/10.1007/..
1-15