×
Compute Distance To:
Author ID: deliguoro.ugo Recent zbMATH articles by "de’Liguoro, Ugo"
Published as: de’Liguoro, Ugo; De’Liguoro, Ugo; de’ Liguoro, Ugo; De’liguoro, Ugo; de’Liguoro, U.
Homepage: http://www.di.unito.it/~deligu/
External Links: Google Scholar · ResearchGate · dblp

Publications by Year

Citations contained in zbMATH Open

29 Publications have been cited 133 times in 102 Documents Cited by Year
Intersection and union types: Syntax and semantics. Zbl 0832.68065
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
35
1995
A filter model for concurrent \(\lambda\)-calculus. Zbl 0916.03017
Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo
17
1998
Sub-behaviour relations for session-based client/server systems. Zbl 1361.68159
Barbanera, Franco; de’Liguoro, Ugo
12
2015
Nondeterministic extensions of untyped \(\lambda\)-calculus. Zbl 1096.03502
de’Liguoro, Ugo; Piperno, Adolfo
12
1995
Filter models for conjunctive-disjunctive \(\lambda\)-calculi. Zbl 0874.03015
Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo
9
1996
Intersection types, \(\lambda\)-models, and Böhm trees. Zbl 0946.03016
Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; de’Liguoro, Ugo
6
1998
Reversible client/server interactions. Zbl 1345.68016
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
5
2016
Combining type disciplines. Zbl 0813.03009
Cardone, Felice; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
3
1994
A calculus of realizers for EM\(_{1}\) arithmetic. (Extended abstract). Zbl 1156.03333
Berardi, Stefano; de’Liguoro, Ugo
3
2008
Fully abstract semantics for concurrent \(\lambda\)-calculus. Zbl 0942.03509
Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo
3
1994
A filter model for the \(\lambda \mu \)-calculus (extended abstract). Zbl 1331.03021
van Bakel, Steffen; Barbanera, Franco; de’Liguoro, Ugo
3
2011
Logical equivalence for subtyping object and recursive types. Zbl 1136.68018
van Bakel, Steffen; de’Liguoro, Ugo
3
2008
A convex powerdomain over lattices: its logic and \(\lambda\)-calculus. Zbl 0926.68023
Alessi, Fabio; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
2
1997
Orchestrated session compliance. Zbl 1353.68023
Barbanera, Franco; van Bakel, Steffen; de’Liguoro, Ugo
2
2017
A realizability interpretation for intersection and union types. Zbl 1485.03030
Dougherty, Daniel J.; de’Liguoro, Ugo; Liquori, Luigi; Stolze, Claude
2
2016
Toward the interpretation of non-constructive reasoning as non-monotonic learning. Zbl 1169.68022
Berardi, Stefano; de’Liguoro, Ugo
2
2009
Characterizing convergent terms in object calculi via intersection types. Zbl 0981.03021
de’Liguoro, Ugo
2
2001
Total functionals and well-founded strategies. (Extended abstract). Zbl 0932.03014
Berardi, Stefano; de’Liguoro, Ugo
1
1999
Logical semantics for the first order \(\varrho \)-calculus. Zbl 1257.68052
van Bakel, Steffen; de’Liguoro, Ugo
1
2003
Interactive realizers: a new approach to program extraction from nonconstructive proofs. Zbl 1351.68069
Berardi, Stefano; de’Liguoro, Ugo
1
2012
Typing asymmetric client-server interaction. Zbl 1274.68219
Barbanera, Franco; Capecchi, Sara; de’Liguoro, Ugo
1
2010
Mixin composition synthesis based on intersection types. Zbl 1433.03035
Bessai, Jan; Dudenhefner, Andrej; Düdder, Boris; Chen, Tzu-Chun; De’Liguoro, Ugo; Rehof, Jakob
1
2015
Retractability, games and orchestrators for session contracts. Zbl 1459.68136
Barbanera, Franco; de’Liguoro, Ugo
1
2017
Knowledge spaces and the completeness of learning strategies. Zbl 1326.68167
Berardi, Stefano; De’Liguoro, Ugo
1
2014
Subtyping object and recursive types logically. (Extended abstract). Zbl 1171.68418
van Bakel, Steffen; de’Liguoro, Ugo
1
2005
Mixin composition synthesis based on intersection types. Zbl 1433.03034
Bessai, Jan; Chen, Tzu-Chun; Dudenhefner, Andrej; Düdder, Boris; De’liguoro, Ugo; Rehof, Jakob
1
2018
Session types and subtyping for orchestrated interactions. Zbl 1433.68232
Barbanera, Franco; de’Liguoro, Ugo
1
2019
Towards refinable choreographies. Zbl 1477.68178
de’Liguoro, Ugo; Melgratti, Hernán; Tuosto, Emilio
1
2020
Connecting open systems of communicating finite state machines. Zbl 1435.68211
Barbanera, Franco; de’Liguoro, Ugo; Hennicker, Rolf
1
2019
Towards refinable choreographies. Zbl 1477.68178
de’Liguoro, Ugo; Melgratti, Hernán; Tuosto, Emilio
1
2020
Session types and subtyping for orchestrated interactions. Zbl 1433.68232
Barbanera, Franco; de’Liguoro, Ugo
1
2019
Connecting open systems of communicating finite state machines. Zbl 1435.68211
Barbanera, Franco; de’Liguoro, Ugo; Hennicker, Rolf
1
2019
Mixin composition synthesis based on intersection types. Zbl 1433.03034
Bessai, Jan; Chen, Tzu-Chun; Dudenhefner, Andrej; Düdder, Boris; De’liguoro, Ugo; Rehof, Jakob
1
2018
Orchestrated session compliance. Zbl 1353.68023
Barbanera, Franco; van Bakel, Steffen; de’Liguoro, Ugo
2
2017
Retractability, games and orchestrators for session contracts. Zbl 1459.68136
Barbanera, Franco; de’Liguoro, Ugo
1
2017
Reversible client/server interactions. Zbl 1345.68016
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
5
2016
A realizability interpretation for intersection and union types. Zbl 1485.03030
Dougherty, Daniel J.; de’Liguoro, Ugo; Liquori, Luigi; Stolze, Claude
2
2016
Sub-behaviour relations for session-based client/server systems. Zbl 1361.68159
Barbanera, Franco; de’Liguoro, Ugo
12
2015
Mixin composition synthesis based on intersection types. Zbl 1433.03035
Bessai, Jan; Dudenhefner, Andrej; Düdder, Boris; Chen, Tzu-Chun; De’Liguoro, Ugo; Rehof, Jakob
1
2015
Knowledge spaces and the completeness of learning strategies. Zbl 1326.68167
Berardi, Stefano; De’Liguoro, Ugo
1
2014
Interactive realizers: a new approach to program extraction from nonconstructive proofs. Zbl 1351.68069
Berardi, Stefano; de’Liguoro, Ugo
1
2012
A filter model for the \(\lambda \mu \)-calculus (extended abstract). Zbl 1331.03021
van Bakel, Steffen; Barbanera, Franco; de’Liguoro, Ugo
3
2011
Typing asymmetric client-server interaction. Zbl 1274.68219
Barbanera, Franco; Capecchi, Sara; de’Liguoro, Ugo
1
2010
Toward the interpretation of non-constructive reasoning as non-monotonic learning. Zbl 1169.68022
Berardi, Stefano; de’Liguoro, Ugo
2
2009
A calculus of realizers for EM\(_{1}\) arithmetic. (Extended abstract). Zbl 1156.03333
Berardi, Stefano; de’Liguoro, Ugo
3
2008
Logical equivalence for subtyping object and recursive types. Zbl 1136.68018
van Bakel, Steffen; de’Liguoro, Ugo
3
2008
Subtyping object and recursive types logically. (Extended abstract). Zbl 1171.68418
van Bakel, Steffen; de’Liguoro, Ugo
1
2005
Logical semantics for the first order \(\varrho \)-calculus. Zbl 1257.68052
van Bakel, Steffen; de’Liguoro, Ugo
1
2003
Characterizing convergent terms in object calculi via intersection types. Zbl 0981.03021
de’Liguoro, Ugo
2
2001
Total functionals and well-founded strategies. (Extended abstract). Zbl 0932.03014
Berardi, Stefano; de’Liguoro, Ugo
1
1999
A filter model for concurrent \(\lambda\)-calculus. Zbl 0916.03017
Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo
17
1998
Intersection types, \(\lambda\)-models, and Böhm trees. Zbl 0946.03016
Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; de’Liguoro, Ugo
6
1998
A convex powerdomain over lattices: its logic and \(\lambda\)-calculus. Zbl 0926.68023
Alessi, Fabio; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
2
1997
Filter models for conjunctive-disjunctive \(\lambda\)-calculi. Zbl 0874.03015
Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo
9
1996
Intersection and union types: Syntax and semantics. Zbl 0832.68065
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
35
1995
Nondeterministic extensions of untyped \(\lambda\)-calculus. Zbl 1096.03502
de’Liguoro, Ugo; Piperno, Adolfo
12
1995
Combining type disciplines. Zbl 0813.03009
Cardone, Felice; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
3
1994
Fully abstract semantics for concurrent \(\lambda\)-calculus. Zbl 0942.03509
Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo
3
1994
all top 5

Cited by 119 Authors

18 Dezani-Ciancaglini, Mariangiola
14 de’Liguoro, Ugo
7 Barbanera, Franco
6 van Bakel, Steffen
5 Aschieri, Federico
5 Manzonetto, Giulio
4 Berardi, Stefano
4 Liquori, Luigi
3 Ancona, Davide
3 Bucciarelli, Antonio
3 Díaz-Caro, Alejandro
3 Ghilezan, Silvia
3 Giannini, Paola
3 Horne, Ross
3 Kesner, Delia
3 Lagorio, Giovanni
3 Rowe, Reuben N. S.
3 Stolze, Claude
3 Tuosto, Emilio
3 Venneri, Betti
3 Yoshida, Nobuko
2 Bartoletti, Massimo
2 Castellani, Ilaria
2 Ciobanu, Gabriel
2 Coppo, Mario
2 Dal Lago, Ugo
2 de Vries, Fer-Jan J.
2 Dougherty, Daniel J.
2 Ehrhard, Thomas
2 Faggian, Claudia
2 Giovannetti, Elio
2 Hayashi, Susumu
2 Hirschkoff, Daniel
2 Motohama, Yoko
2 Murgia, Maurizio
2 Ronchi Della Rocca, Simona
2 Salvati, Sylvain
2 Sangiorgi, Davide
2 Sassone, Vladimiro
2 Scalas, Alceste
2 Tiezzi, Francesco
2 Valiron, Benoît
2 van Bakel, Steffen J.
2 Vaux, Lionel
2 Vial, Pierre
2 Zorzi, Margherita
1 Akroun, Lakhdar
1 Alessi, Fabio
1 Arrighi, Pablo
1 Berarducci, Alessandro
1 Bettini, Lorenzo
1 Birolo, Giovanni
1 Bocchi, Laura
1 Bonsangue, Marcello Maria
1 Breuvart, Flavien
1 Capecchi, Sara
1 Carayol, Arnaud
1 Castagna, Giuseppe
1 Compagnoni, Adriana B.
1 Coquand, Thierry
1 Corradi, Andrea
1 Damiani, Ferruccio
1 Demangeon, Romain
1 Di Pierro, Alessandra
1 Dowek, Gilles
1 Dunfield, Joshua
1 Ferrari, Gian Luigi
1 Frisch, Alain
1 Fujita, Ken-etsu
1 García, Miguel Angel
1 Gavazzo, Francesco
1 Giachino, Elena
1 Goble, Lou
1 Henrio, Ludovic
1 Honsell, Furio
1 Huang, Xuejing
1 Ishihara, Hajime
1 Jacobs, Bart
1 Jakšić, Svetlana
1 Knight, Sophia
1 Kok, Joost N.
1 Kurata, Toshihiko
1 Lämmel, Ralf
1 Lanese, Ivan
1 Laurent, Olivier
1 Lescanne, Pierre
1 Margaria, Ines
1 Melgratti, Hernán
1 Meyer, Robert Kenneth
1 Mezzina, Claudio Antares
1 Nicola, R. D.
1 Oliveira, Bruno C.d. S.
1 Ortín, Francisco
1 Pagani, Michele
1 Pantović, Jovanka
1 Pérez, Jorge A.
1 Piperno, Adolfo
1 Pugliese, Rosario
1 Riba, Colin
1 Ruiz, Blas
...and 19 more Authors

Citations by Year