Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ugo de'Liguoro
@article{DBLP:journals/tcs/deLiguoroT23,
author = {Ugo de'Liguoro and
Riccardo Treglia},
title = {From semantics to types: The case of the imperative \emph{{\(\lambda\)}}-calculus},
journal = {Theor. Comput. Sci.},
volume = {973},
pages = {114082},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.114082},
doi = {10.1016/J.TCS.2023.114082},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/deLiguoroT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/deLiguoroMT22,
author = {Ugo de'Liguoro and
Hern{\'{a}}n C. Melgratti and
Emilio Tuosto},
title = {Towards refinable choreographies},
journal = {J. Log. Algebraic Methods Program.},
volume = {127},
pages = {100776},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2022.100776},
doi = {10.1016/J.JLAMP.2022.100776},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/deLiguoroMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FaggianGdT22,
author = {Claudia Faggian and
Giulio Guerrieri and
Ugo de'Liguoro and
Riccardo Treglia},
title = {On reduction and normalization in the computational core},
journal = {Math. Struct. Comput. Sci.},
volume = {32},
number = {7},
pages = {934--981},
year = {2022},
url = {https://doi.org/10.1017/S0960129522000433},
doi = {10.1017/S0960129522000433},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FaggianGdT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BarbaneraDd22,
author = {Franco Barbanera and
Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro},
editor = {Silvia Lizeth Tapia Tarifa and
Jos{\'{e}} Proen{\c{c}}a},
title = {Open Compliance in Multiparty Sessions},
booktitle = {Formal Aspects of Component Software - 18th International Conference,
{FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13712},
pages = {222--243},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-20872-0\_13},
doi = {10.1007/978-3-031-20872-0\_13},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BarbaneraDd22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/deLiguoroT21,
author = {Ugo de'Liguoro and
Riccardo Treglia},
editor = {Claudio Sacerdoti Coen and
Ivano Salvo},
title = {A Filter Model for the State Monad},
booktitle = {Proceedings of the 22nd Italian Conference on Theoretical Computer
Science, Bologna, Italy, September 13-15, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3072},
pages = {281--286},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3072/paper23.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/deLiguoroT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/deLiguoroT21,
author = {Ugo de'Liguoro and
Riccardo Treglia},
editor = {Niccol{\`{o}} Veltri and
Nick Benton and
Silvia Ghilezan},
title = {Intersection types for a {\(\lambda\)}-calculus with global store},
booktitle = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
pages = {5:1--5:11},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3479394.3479400},
doi = {10.1145/3479394.3479400},
timestamp = {Tue, 21 Mar 2023 21:03:02 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/deLiguoroT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2112-14053,
author = {Ugo de'Liguoro and
Riccardo Treglia},
editor = {Ana Sokolova},
title = {From Semantics to Types: the Case of the Imperative lambda-Calculus},
booktitle = {Proceedings 37th Conference on Mathematical Foundations of Programming
Semantics, {MFPS} 2021, Hybrid: Salzburg, Austria and Online, 30th
August - 2nd September, 2021},
series = {{EPTCS}},
volume = {351},
pages = {168--183},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.351.11},
doi = {10.4204/EPTCS.351.11},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-14053.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/types/2020,
editor = {Ugo de'Liguoro and
Stefano Berardi and
Thorsten Altenkirch},
title = {26th International Conference on Types for Proofs and Programs, {TYPES}
2020, March 2-5, 2020, University of Turin, Italy},
series = {LIPIcs},
volume = {188},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-182-5},
isbn = {978-3-95977-182-5},
timestamp = {Mon, 07 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-01358,
author = {Ugo de'Liguoro and
Riccardo Treglia},
title = {Intersection Types for a Computational Lambda-Calculus with Global
State},
journal = {CoRR},
volume = {abs/2104.01358},
year = {2021},
url = {https://arxiv.org/abs/2104.01358},
eprinttype = {arXiv},
eprint = {2104.01358},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-01358.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-10267,
author = {Claudia Faggian and
Giulio Guerrieri and
Ugo de'Liguoro and
Riccardo Treglia},
title = {On reduction and normalization in the computational core},
journal = {CoRR},
volume = {abs/2104.10267},
year = {2021},
url = {https://arxiv.org/abs/2104.10267},
eprinttype = {arXiv},
eprint = {2104.10267},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-10267.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/deLiguoroT20,
author = {Ugo de'Liguoro and
Riccardo Treglia},
title = {The untyped computational \emph{{\(\lambda\)}}-calculus and its intersection
type discipline},
journal = {Theor. Comput. Sci.},
volume = {846},
pages = {141--159},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.09.029},
doi = {10.1016/J.TCS.2020.09.029},
timestamp = {Wed, 04 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/deLiguoroT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Barbanerad20,
author = {Franco Barbanera and
Ugo de'Liguoro},
title = {Two notions of sub-behaviour for session-based client/server systems:
10 Years Later},
booktitle = {{PPDP} '20: 22nd International Symposium on Principles and Practice
of Declarative Programming, Bologna, Italy, 9-10 September, 2020},
pages = {2:1--2:3},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3414080.3414082},
doi = {10.1145/3414080.3414082},
timestamp = {Thu, 24 Sep 2020 13:03:28 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Barbanerad20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-07991,
author = {Ugo de'Liguoro and
Hern{\'{a}}n C. Melgratti and
Emilio Tuosto},
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {Towards Refinable Choreographies},
booktitle = {Proceedings 13th Interaction and Concurrency Experience, {ICE} 2020,
Online, 19 June 2020},
series = {{EPTCS}},
volume = {324},
pages = {61--77},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.324.6},
doi = {10.4204/EPTCS.324.6},
timestamp = {Tue, 21 Mar 2023 21:05:23 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-07991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/BarbaneradH19,
author = {Franco Barbanera and
Ugo de'Liguoro and
Rolf Hennicker},
title = {Connecting open systems of communicating finite state machines},
journal = {J. Log. Algebraic Methods Program.},
volume = {109},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.07.004},
doi = {10.1016/J.JLAMP.2019.07.004},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/BarbaneradH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Barbanerad19,
author = {Franco Barbanera and
Ugo de'Liguoro},
title = {Session types and subtyping for orchestrated interactions},
journal = {J. Log. Algebraic Methods Program.},
volume = {102},
pages = {103--137},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2018.10.001},
doi = {10.1016/J.JLAMP.2018.10.001},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Barbanerad19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/deLiguoroT19,
author = {Ugo de'Liguoro and
Riccardo Treglia},
editor = {Alessandra Cherubini and
Nicoletta Sabadini and
Simone Tini},
title = {Intersection Types for the Computational lambda-Calculus},
booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer
Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2504},
pages = {184--189},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2504/paper21.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/deLiguoroT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-05706,
author = {Ugo de'Liguoro and
Riccardo Treglia},
title = {Intersection Types for the Computational lambda-Calculus},
journal = {CoRR},
volume = {abs/1907.05706},
year = {2019},
url = {http://arxiv.org/abs/1907.05706},
eprinttype = {arXiv},
eprint = {1907.05706},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-05706.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BakelBd18,
author = {Steffen van Bakel and
Franco Barbanera and
Ugo de'Liguoro},
title = {Intersection Types for the lambda-mu Calculus},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {1},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(1:2)2018},
doi = {10.23638/LMCS-14(1:2)2018},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BakelBd18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BessaiCDDdR18,
author = {Jan Bessai and
Tzu{-}Chun Chen and
Andrej Dudenhefner and
Boris D{\"{u}}dder and
Ugo de'Liguoro and
Jakob Rehof},
title = {Mixin Composition Synthesis based on Intersection Types},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {1},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(1:18)2018},
doi = {10.23638/LMCS-14(1:18)2018},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BessaiCDDdR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BarbaneraLd18,
author = {Franco Barbanera and
Ivan Lanese and
Ugo de'Liguoro},
title = {A theory of retractable and speculative contracts},
journal = {Sci. Comput. Program.},
volume = {167},
pages = {25--50},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2018.06.005},
doi = {10.1016/J.SCICO.2018.06.005},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BarbaneraLd18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/deLiguoroP18,
author = {Ugo de'Liguoro and
Luca Padovani},
editor = {Todd D. Millstein},
title = {Mailbox Types for Unordered Interactions},
booktitle = {32nd European Conference on Object-Oriented Programming, {ECOOP} 2018,
July 16-21, 2018, Amsterdam, The Netherlands},
series = {LIPIcs},
volume = {109},
pages = {15:1--15:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2018.15},
doi = {10.4230/LIPICS.ECOOP.2018.15},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/deLiguoroP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-02468,
author = {Franco Barbanera and
Ugo de'Liguoro and
Rolf Hennicker},
editor = {Massimo Bartoletti and
Sophia Knight},
title = {Global Types for Open Systems},
booktitle = {Proceedings 11th Interaction and Concurrency Experience, {ICE} 2018,
Madrid, Spain, June 20-21, 2018},
series = {{EPTCS}},
volume = {279},
pages = {4--20},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.279.4},
doi = {10.4204/EPTCS.279.4},
timestamp = {Mon, 03 Dec 2018 16:41:49 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-02468.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-04167,
author = {Ugo de'Liguoro and
Luca Padovani},
title = {Mailbox Types for Unordered Interactions},
journal = {CoRR},
volume = {abs/1801.04167},
year = {2018},
url = {http://arxiv.org/abs/1801.04167},
eprinttype = {arXiv},
eprint = {1801.04167},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-04167.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Berardid17a,
author = {Stefano Berardi and
Ugo de'Liguoro},
title = {Non-monotonic Pre-fix Points and Learning},
journal = {Fundam. Informaticae},
volume = {150},
number = {3-4},
pages = {259--280},
year = {2017},
url = {https://doi.org/10.3233/FI-2017-1470},
doi = {10.3233/FI-2017-1470},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Berardid17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BarbaneraBd17,
author = {Franco Barbanera and
Steffen van Bakel and
Ugo de'Liguoro},
title = {Orchestrated session compliance},
journal = {J. Log. Algebraic Methods Program.},
volume = {86},
number = {1},
pages = {30--76},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2016.08.002},
doi = {10.1016/J.JLAMP.2016.08.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BarbaneraBd17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Barbanerad17,
author = {Franco Barbanera and
Ugo de'Liguoro},
title = {Retractability, games and orchestrators for session contracts},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:15)2017},
doi = {10.23638/LMCS-13(3:15)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Barbanerad17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DeLiguoro17,
author = {Ugo de'Liguoro},
title = {The approximation theorem for the {\(\Lambda\)}{\(\mu\)}-calculus},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {5},
pages = {560--580},
year = {2017},
url = {https://doi.org/10.1017/S0960129515000286},
doi = {10.1017/S0960129515000286},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DeLiguoro17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BarbaneraLd17,
author = {Franco Barbanera and
Ivan Lanese and
Ugo de'Liguoro},
editor = {Jean{-}Marie Jacquet and
Mieke Massink},
title = {Retractable and Speculative Contracts},
booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2017, Held as Part of the 12th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10319},
pages = {119--137},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59746-1\_7},
doi = {10.1007/978-3-319-59746-1\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BarbaneraLd17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1711-11209,
author = {Franco Barbanera and
Ugo de'Liguoro},
editor = {Massimo Bartoletti and
Laura Bocchi and
Ludovic Henrio and
Sophia Knight},
title = {Session Types for Orchestrated Interactions},
booktitle = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
series = {{EPTCS}},
volume = {261},
pages = {17--36},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.261.5},
doi = {10.4204/EPTCS.261.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-11209.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Barbanerad17,
author = {Franco Barbanera and
Ugo de'Liguoro},
title = {Retractability, games and orchestrators for session contracts},
journal = {CoRR},
volume = {abs/1701.06142},
year = {2017},
url = {http://arxiv.org/abs/1701.06142},
eprinttype = {arXiv},
eprint = {1701.06142},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Barbanerad17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BakelBd17,
author = {Steffen van Bakel and
Franco Barbanera and
Ugo de'Liguoro},
title = {Intersection Types for the lambda-mu Calculus},
journal = {CoRR},
volume = {abs/1704.00272},
year = {2017},
url = {http://arxiv.org/abs/1704.00272},
eprinttype = {arXiv},
eprint = {1704.00272},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BakelBd17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-06906,
author = {Jan Bessai and
Tzu{-}Chun Chen and
Andrej Dudenhefner and
Boris D{\"{u}}dder and
Ugo de'Liguoro and
Jakob Rehof},
title = {Mixin Composition Synthesis based on Intersection Types},
journal = {CoRR},
volume = {abs/1712.06906},
year = {2017},
url = {http://arxiv.org/abs/1712.06906},
eprinttype = {arXiv},
eprint = {1712.06906},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-06906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BarbaneraDd16,
author = {Franco Barbanera and
Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro},
title = {Reversible client/server interactions},
journal = {Formal Aspects Comput.},
volume = {28},
number = {4},
pages = {697--722},
year = {2016},
url = {https://doi.org/10.1007/s00165-016-0358-2},
doi = {10.1007/S00165-016-0358-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BarbaneraDd16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/DoughertydLS16,
author = {Daniel J. Dougherty and
Ugo de'Liguoro and
Luigi Liquori and
Claude Stolze},
editor = {Atsushi Igarashi},
title = {A Realizability Interpretation for Intersection and Union Types},
booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10017},
pages = {187--205},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47958-3\_11},
doi = {10.1007/978-3-319-47958-3\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/DoughertydLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Barbanerad16,
author = {Franco Barbanera and
Ugo de'Liguoro},
editor = {Alberto Lluch{-}Lafuente and
Jos{\'{e}} Proen{\c{c}}a},
title = {A Game Interpretation of Retractable Contracts},
booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2016, Held as Part of the 11th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9686},
pages = {18--34},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39519-7\_2},
doi = {10.1007/978-3-319-39519-7\_2},
timestamp = {Sat, 05 Sep 2020 17:56:31 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Barbanerad16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CastellaniDd16,
author = {Ilaria Castellani and
Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro},
editor = {Dominic A. Orchard and
Nobuko Yoshida},
title = {Secure Multiparty Sessions with Topics},
booktitle = {Proceedings of the Ninth workshop on Programming Language Approaches
to Concurrency- and Communication-cEntric Software, {PLACES} 2016,
Eindhoven, The Netherlands, 8th April 2016},
series = {{EPTCS}},
volume = {211},
pages = {1--12},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.211.1},
doi = {10.4204/EPTCS.211.1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CastellaniDd16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/Danvyd16,
editor = {Olivier Danvy and
Ugo de'Liguoro},
title = {Proceedings of the Workshop on Continuations, WoC 2016, London, UK,
April 12th 2015},
series = {{EPTCS}},
volume = {212},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.212},
doi = {10.4204/EPTCS.212},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Danvyd16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Barbanerad15,
author = {Franco Barbanera and
Ugo de'Liguoro},
title = {Sub-behaviour relations for session-based client/server systems},
journal = {Math. Struct. Comput. Sci.},
volume = {25},
number = {6},
pages = {1339--1381},
year = {2015},
url = {https://doi.org/10.1017/S096012951400005X},
doi = {10.1017/S096012951400005X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Barbanerad15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/BessaiDDCdR15,
author = {Jan Bessai and
Andrej Dudenhefner and
Boris D{\"{u}}dder and
Tzu{-}Chun Chen and
Ugo de'Liguoro and
Jakob Rehof},
editor = {Thorsten Altenkirch},
title = {Mixin Composition Synthesis Based on Intersection Types},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {76--91},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.76},
doi = {10.4230/LIPICS.TLCA.2015.76},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/tlca/BessaiDDCdR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BarbaneraBd15,
author = {Franco Barbanera and
Steffen van Bakel and
Ugo de'Liguoro},
editor = {Sophia Knight and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Hugo Torres Vieira},
title = {Orchestrated Session Compliance},
booktitle = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
Grenoble, France, 4-5th June 2015},
series = {{EPTCS}},
volume = {189},
pages = {21--36},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.189.4},
doi = {10.4204/EPTCS.189.4},
timestamp = {Wed, 14 Nov 2018 10:31:26 +0100},
biburl = {https://dblp.org/rec/journals/corr/BarbaneraBd15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BarbaneraDLd16,
author = {Franco Barbanera and
Mariangiola Dezani{-}Ciancaglini and
Ivan Lanese and
Ugo de'Liguoro},
editor = {Simon Gay and
Jade Alglave},
title = {Retractable Contracts},
booktitle = {Proceedings Eighth International Workshop on Programming Language
Approaches to Concurrency- and Communication-cEntric Software, {PLACES}
2015, London, UK, 18th April 2015},
series = {{EPTCS}},
volume = {203},
pages = {61--72},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.203.5},
doi = {10.4204/EPTCS.203.5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BarbaneraDLd16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Berardid14,
author = {Stefano Berardi and
Ugo de'Liguoro},
title = {Knowledge Spaces and the Completeness of Learning Strategies},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {1},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(1:9)2014},
doi = {10.2168/LMCS-10(1:9)2014},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Berardid14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BarbaneraDd14,
author = {Franco Barbanera and
Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro},
editor = {Marco Carbone},
title = {Compliance for reversible client/server interactions},
booktitle = {Proceedings Third Workshop on Behavioural Types, {BEAT} 2014, Rome,
Italy, 1st September 2014},
series = {{EPTCS}},
volume = {162},
pages = {35--42},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.162.5},
doi = {10.4204/EPTCS.162.5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BarbaneraDd14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BessaiDDCd15,
author = {Jan Bessai and
Boris D{\"{u}}dder and
Andrej Dudenhefner and
Tzu{-}Chun Chen and
Ugo de'Liguoro},
editor = {Jakob Rehof},
title = {Typing Classes and Mixins with Intersection Types},
booktitle = {Proceedings Seventh Workshop on Intersection Types and Related Systems,
{ITRS} 2014, Vienna, Austria, 18 July 2014},
series = {{EPTCS}},
volume = {177},
pages = {79--93},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.177.7},
doi = {10.4204/EPTCS.177.7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BessaiDDCd15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Barbanerad13,
author = {Franco Barbanera and
Ugo de'Liguoro},
editor = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova and
Hugo Torres Vieira},
title = {Loosening the notions of compliance and sub-behaviour in client/server
systems},
booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
Berlin, Germany, 6th June 2014},
series = {{EPTCS}},
volume = {166},
pages = {94--110},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.166.10},
doi = {10.4204/EPTCS.166.10},
timestamp = {Fri, 27 Mar 2020 08:38:57 +0100},
biburl = {https://dblp.org/rec/journals/corr/Barbanerad13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Berardid13,
author = {Stefano Berardi and
Ugo de'Liguoro},
editor = {David Baelde and
Arnaud Carayol},
title = {Non-monotonic Pre-fixed Points and Learning},
booktitle = {Proceedings Workshop on Fixed Points in Computer Science, {FICS} 2013,
Turino, Italy, September 1st, 2013},
series = {{EPTCS}},
volume = {126},
pages = {1--10},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.126.1},
doi = {10.4204/EPTCS.126.1},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/Berardid13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/deLiguoroS13,
editor = {Ugo de'Liguoro and
Alexis Saurin},
title = {Proceedings First Workshop on Control Operators and their Semantics,
{COS} 2013, Eindhoven, The Netherlands, June 24-25, 2013},
series = {{EPTCS}},
volume = {127},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.127},
doi = {10.4204/EPTCS.127},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/deLiguoroS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Berardid12,
author = {Stefano Berardi and
Ugo de'Liguoro},
title = {Interactive Realizers: {A} New Approach to Program Extraction from
Nonconstructive Proofs},
journal = {{ACM} Trans. Comput. Log.},
volume = {13},
number = {2},
pages = {11:1--11:21},
year = {2012},
url = {https://doi.org/10.1145/2159531.2159533},
doi = {10.1145/2159531.2159533},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Berardid12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Berardid12,
author = {Stefano Berardi and
Ugo de'Liguoro},
editor = {Patrick C{\'{e}}gielski and
Arnaud Durand},
title = {Knowledge Spaces and the Completeness of Learning Strategies},
booktitle = {Computer Science Logic (CSL'12) - 26th International Workshop/21st
Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau,
France},
series = {LIPIcs},
volume = {16},
pages = {77--91},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.CSL.2012.77},
doi = {10.4230/LIPICS.CSL.2012.77},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/Berardid12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BakelBd13,
author = {Steffen van Bakel and
Franco Barbanera and
Ugo de'Liguoro},
editor = {St{\'{e}}phane Graham{-}Lengrand and
Luca Paolini},
title = {Characterisation of Strongly Normalising lambda-mu-Terms},
booktitle = {Proceedings Sixth Workshop on Intersection Types and Related Systems,
{ITRS} 2012, Dubrovnik, Croatia, 29th June 2012},
series = {{EPTCS}},
volume = {121},
pages = {1--17},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.121.1},
doi = {10.4204/EPTCS.121.1},
timestamp = {Wed, 14 Nov 2018 10:31:26 +0100},
biburl = {https://dblp.org/rec/journals/corr/BakelBd13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1210-2890,
editor = {Herman Geuvers and
Ugo de'Liguoro},
title = {Proceedings Fourth Workshop on Classical Logic and Computation, CL{\&}C
2012, Warwick, England, 8th July 2012},
series = {{EPTCS}},
volume = {97},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.97},
doi = {10.4204/EPTCS.97},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2890.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/BakelBd11,
author = {Steffen van Bakel and
Franco Barbanera and
Ugo de'Liguoro},
editor = {C.{-}H. Luke Ong},
title = {A Filter Model for the \emph{{\(\lambda\)}{\(\mu\)}}-Calculus - (Extended
Abstract)},
booktitle = {Typed Lambda Calculi and Applications - 10th International Conference,
{TLCA} 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6690},
pages = {213--228},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21691-6\_18},
doi = {10.1007/978-3-642-21691-6\_18},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/BakelBd11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Barbanerad10,
author = {Franco Barbanera and
Ugo de'Liguoro},
editor = {Temur Kutsia and
Wolfgang Schreiner and
Maribel Fern{\'{a}}ndez},
title = {Two notions of sub-behaviour for session-based client/server systems},
booktitle = {Proceedings of the 12th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 26-28, 2010,
Hagenberg, Austria},
pages = {155--164},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1836089.1836109},
doi = {10.1145/1836089.1836109},
timestamp = {Tue, 27 Nov 2018 15:52:28 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Barbanerad10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-2907,
author = {Stefano Berardi and
Ugo de'Liguoro},
title = {Interactive Realizers and Monads},
journal = {CoRR},
volume = {abs/1005.2907},
year = {2010},
url = {http://arxiv.org/abs/1005.2907},
eprinttype = {arXiv},
eprint = {1005.2907},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-2907.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Berardid09,
author = {Stefano Berardi and
Ugo de'Liguoro},
title = {Toward the interpretation of non-constructive reasoning as non-monotonic
learning},
journal = {Inf. Comput.},
volume = {207},
number = {1},
pages = {63--81},
year = {2009},
url = {https://doi.org/10.1016/j.ic.2008.10.003},
doi = {10.1016/J.IC.2008.10.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Berardid09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BarbaneraCd09,
author = {Franco Barbanera and
Sara Capecchi and
Ugo de'Liguoro},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Typing Asymmetric Client-Server Interaction},
booktitle = {Fundamentals of Software Engineering, Third {IPM} International Conference,
{FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5961},
pages = {97--112},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11623-0\_5},
doi = {10.1007/978-3-642-11623-0\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/BarbaneraCd09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Dezani-Ciancaglinid09,
author = {Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro},
editor = {Cosimo Laneve and
Jianwen Su},
title = {Sessions and Session Types: An Overview},
booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6194},
pages = {1--28},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14458-5\_1},
doi = {10.1007/978-3-642-14458-5\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/Dezani-Ciancaglinid09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/types/2008,
editor = {Stefano Berardi and
Ferruccio Damiani and
Ugo de'Liguoro},
title = {Types for Proofs and Programs, International Conference, {TYPES} 2008,
Torino, Italy, March 26-29, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5497},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02444-3},
doi = {10.1007/978-3-642-02444-3},
isbn = {978-3-642-02443-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Bakeld08,
author = {Steffen van Bakel and
Ugo de'Liguoro},
title = {Logical Equivalence for Subtyping Object and Recursive Types},
journal = {Theory Comput. Syst.},
volume = {42},
number = {3},
pages = {306--348},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9079-5},
doi = {10.1007/S00224-007-9079-5},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Bakeld08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Berardid08,
author = {Stefano Berardi and
Ugo de'Liguoro},
title = {Calculi, types and applications: Essays in honour of M. Coppo, M.
Dezani-Ciancaglini and S. Ronchi Della Rocca},
journal = {Theor. Comput. Sci.},
volume = {398},
number = {1-3},
pages = {1--11},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.01.018},
doi = {10.1016/J.TCS.2008.01.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Berardid08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Berardid08,
author = {Stefano Berardi and
Ugo de'Liguoro},
editor = {Michael Kaminski and
Simone Martini},
title = {A Calculus of Realizers for {EM1} Arithmetic (Extended Abstract)},
booktitle = {Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th
Annual Conference of the EACSL, Bertinoro, Italy, September 16-19,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5213},
pages = {215--229},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87531-4\_17},
doi = {10.1007/978-3-540-87531-4\_17},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Berardid08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/Dezani-CiancaglinidY07,
author = {Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro and
Nobuko Yoshida},
editor = {Gilles Barthe and
C{\'{e}}dric Fournet},
title = {On Progress for Structured Communications},
booktitle = {Trustworthy Global Computing, Third Symposium, {TGC} 2007, Sophia-Antipolis,
France, November 5-6, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4912},
pages = {257--275},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78663-4\_18},
doi = {10.1007/978-3-540-78663-4\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/Dezani-CiancaglinidY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Bakeld05,
author = {Steffen van Bakel and
Ugo de'Liguoro},
editor = {Mario Coppo and
Elena Lodi and
G. Michele Pinna},
title = {Subtyping Object and Recursive Types Logically},
booktitle = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
Siena, Italy, October 12-14, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3701},
pages = {66--80},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560586\_7},
doi = {10.1007/11560586\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/Bakeld05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Bakeld03,
author = {Steffen van Bakel and
Ugo de'Liguoro},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Logical Semantics for the First Order varsigma-Calculus},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {202--215},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_17},
doi = {10.1007/978-3-540-45208-9\_17},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/Bakeld03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Barbanerad04,
author = {Franco Barbanera and
Ugo de'Liguoro},
editor = {Furio Honsell and
Marina Lenisa and
Marino Miculan},
title = {Type Assignement for Mobile Objects},
booktitle = {Proceedings of the Workshop of the {COMETA} Project on Computational
Metamodels, {COMETA} 2003, Udine, Italy, December 15-17, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {104},
pages = {25--38},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.09.020},
doi = {10.1016/J.ENTCS.2004.09.020},
timestamp = {Fri, 09 Dec 2022 11:43:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Barbanerad04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/deLiguor02,
author = {Ugo de'Liguoro},
editor = {Steffen van Bakel},
title = {Subtyping in Logical Form},
booktitle = {Intersection Types and Related Systems, {ITRS} 2002, FLoC Satellite
Event, Copenhagen, Denmark, July 26, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {1},
pages = {72--87},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80491-2},
doi = {10.1016/S1571-0661(04)80491-2},
timestamp = {Tue, 06 Dec 2022 14:21:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/deLiguor02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/deLiguoro01,
author = {Ugo de'Liguoro},
editor = {Samson Abramsky},
title = {Characterizing Convergent Terms in Object Calculi via Intersection
Types},
booktitle = {Typed Lambda Calculi and Applications, 5th International Conference,
{TLCA} 2001, Krakow, Poland, May 2-5, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2044},
pages = {315--328},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45413-6\_25},
doi = {10.1007/3-540-45413-6\_25},
timestamp = {Sat, 07 Sep 2019 11:59:25 +0200},
biburl = {https://dblp.org/rec/conf/tlca/deLiguoro01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Berardid99,
author = {Stefano Berardi and
Ugo de'Liguoro},
editor = {Jean{-}Yves Girard},
title = {Total Functionals and Well-Founded Strategies},
booktitle = {Typed Lambda Calculi and Applications, 4th International Conference,
TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1581},
pages = {54--68},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48959-2\_6},
doi = {10.1007/3-540-48959-2\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Berardid99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Dezani-CiancaglinidP98,
author = {Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro and
Adolfo Piperno},
title = {A Filter Model for Concurrent lambda-Calculus},
journal = {{SIAM} J. Comput.},
volume = {27},
number = {5},
pages = {1376--1419},
year = {1998},
url = {https://doi.org/10.1137/S0097539794275860},
doi = {10.1137/S0097539794275860},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Dezani-CiancaglinidP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AlessiDd97,
author = {Fabio Alessi and
Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro},
title = {A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus},
journal = {Fundam. Informaticae},
volume = {32},
number = {3-4},
pages = {193--250},
year = {1997},
url = {https://doi.org/10.3233/FI-1997-323401},
doi = {10.3233/FI-1997-323401},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AlessiDd97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Dezani-CiancaglinidP96,
author = {Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro and
Adolfo Piperno},
title = {Filter Models for Conjunctive-Disjunctive lambda-Calculi},
journal = {Theor. Comput. Sci.},
volume = {170},
number = {1-2},
pages = {83--128},
year = {1996},
url = {https://doi.org/10.1016/S0304-3975(96)80703-1},
doi = {10.1016/S0304-3975(96)80703-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Dezani-CiancaglinidP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BarbaneraDL95,
author = {Franco Barbanera and
Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro},
title = {Intersection and Union Types: Syntax and Semantics},
journal = {Inf. Comput.},
volume = {119},
number = {2},
pages = {202--230},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1086},
doi = {10.1006/INCO.1995.1086},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BarbaneraDL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/deLiguoroP95,
author = {Ugo de'Liguoro and
Adolfo Piperno},
title = {Non Deterministic Extensions of Untyped Lambda-Calculus},
journal = {Inf. Comput.},
volume = {122},
number = {2},
pages = {149--177},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1145},
doi = {10.1006/INCO.1995.1145},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/deLiguoroP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CardoneDd94,
author = {Felice Cardone and
Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro},
title = {Combining Type Disciplines},
journal = {Ann. Pure Appl. Log.},
volume = {66},
number = {3},
pages = {197--230},
year = {1994},
url = {https://doi.org/10.1016/0168-0072(94)90034-5},
doi = {10.1016/0168-0072(94)90034-5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/CardoneDd94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AlessiDd94,
author = {Fabio Alessi and
Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro},
editor = {Igor Pr{\'{\i}}vara and
Branislav Rovan and
Peter Ruzicka},
title = {May and Must Convergencey in Concurrent Lambda-Calculus},
booktitle = {Mathematical Foundations of Computer Science 1994, 19th International
Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {841},
pages = {211--220},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58338-6\_68},
doi = {10.1007/3-540-58338-6\_68},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AlessiDd94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Dezani-CiancaglinidP94,
author = {Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro and
Adolfo Piperno},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Fully Abstract Semantics for Concurrent Lambda-calculus},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {16--35},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_88},
doi = {10.1007/3-540-57887-0\_88},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Dezani-CiancaglinidP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Dezani-CiancaglinidP93,
author = {Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro and
Adolfo Piperno},
editor = {Andrzej M. Borzyszkowski and
Stefan Sokolowski},
title = {Filter Models for a Parallel and Non Deterministic Lambda-Calculus},
booktitle = {Mathematical Foundations of Computer Science 1993, 18th International
Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {711},
pages = {403--412},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57182-5\_32},
doi = {10.1007/3-540-57182-5\_32},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Dezani-CiancaglinidP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/deLiguoroP92,
author = {Ugo de'Liguoro and
Adolfo Piperno},
editor = {Jean{-}Claude Raoult},
title = {Must Preorder in Non-Deterministic Untyped Lambda-Calculus},
booktitle = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
France, February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {581},
pages = {203--220},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55251-0\_11},
doi = {10.1007/3-540-55251-0\_11},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/deLiguoroP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LiguoroPS92,
author = {Ugo de'Liguoro and
Adolfo Piperno and
Richard Statman},
title = {Retracts in simply typed lambda-beta-eta-calculus},
booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
{(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
pages = {461--469},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/LICS.1992.185557},
doi = {10.1109/LICS.1992.185557},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/LiguoroPS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-01 22:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
