Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Ugo de'Liguoro

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[i4]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/BakelBd13
- ask others
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro: Characterisation of Strongly Normalising lambda-mu-Terms. CoRR abs/1307.8202 (2013)
[i3]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/Berardid13
- ask others
Stefano Berardi, Ugo de'Liguoro: Non-monotonic Pre-fixed Points and Learning. CoRR abs/1309.0890 (2013)
[i2]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/deLiguoroS13
- ask others
Ugo de'Liguoro, Alexis Saurin: Proceedings First Workshop on Control Operators and their Semantics. CoRR abs/1309.0924 (2013)
2012
[j12]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tocl/Berardid12
- ask others
Stefano Berardi, Ugo de'Liguoro: Interactive Realizers: A New Approach to Program Extraction from Nonconstructive Proofs. ACM Trans. Comput. Log. 13(2): 11 (2012)
[c16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/Berardid12
- ask others
Stefano Berardi, Ugo de'Liguoro: Knowledge Spaces and the Completeness of Learning Strategies. CSL 2012: 77-91
[e2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2890
- ask others
Herman Geuvers, Ugo de'Liguoro (Eds.): Proceedings Fourth Workshop on Classical Logic and Computation. EPTCS 97, 2012
2011
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tlca/BakelBd11
- ask others
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro: A Filter Model for the λμ-Calculus - (Extended Abstract). TLCA 2011: 213-228
2010
[c14]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ppdp/Barbanerad10
- ask others
Franco Barbanera, Ugo de'Liguoro: Two notions of sub-behaviour for session-based client/server systems. PPDP 2010: 155-164
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1005-2907
- ask others
Stefano Berardi, Ugo de'Liguoro: Interactive Realizers and Monads. CoRR abs/1005.2907 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/Berardid09
- ask others
Stefano Berardi, Ugo de'Liguoro: Toward the interpretation of non-constructive reasoning as non-monotonic learning. Inf. Comput. 207(1): 63-81 (2009)
[c13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fsen/BarbaneraCd09
- ask others
Franco Barbanera, Sara Capecchi, Ugo de'Liguoro: Typing Asymmetric Client-Server Interaction. FSEN 2009: 97-112
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wsfm/Dezani-Ciancaglinid09
- ask others
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Sessions and Session Types: An Overview. WS-FM 2009: 1-28
[e1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/types/2008
- ask others
Stefano Berardi, Ferruccio Damiani, Ugo de'Liguoro (Eds.): Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5497, Springer 2009, ISBN 978-3-642-02443-6
2008
[j10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/Bakeld08
- ask others
Steffen van Bakel, Ugo de'Liguoro: Logical Equivalence for Subtyping Object and Recursive Types. Theory Comput. Syst. 42(3): 306-348 (2008)
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Berardid08
- ask others
Stefano Berardi, Ugo de'Liguoro: Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca. Theor. Comput. Sci. 398(1-3): 1-11 (2008)
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/Berardid08
- ask others
Stefano Berardi, Ugo de'Liguoro: A Calculus of Realizers for EM1 Arithmetic (Extended Abstract). CSL 2008: 215-229
2007
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tgc/Dezani-CiancaglinidY07
- ask others
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida: On Progress for Structured Communications. TGC 2007: 257-275
2005
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ictcs/Bakeld05
- ask others
Steffen van Bakel, Ugo de'Liguoro: Subtyping Object and Recursive Types Logically. ICTCS 2005: 66-80
2004
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Barbanerad04
- ask others
Franco Barbanera, Ugo de'Liguoro: Type Assignement for Mobile Objects. Electr. Notes Theor. Comput. Sci. 104: 25-38 (2004)
2003
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ictcs/Bakeld03
- ask others
Steffen van Bakel, Ugo de'Liguoro: Logical Semantics for the First Order varsigma-Calculus. ICTCS 2003: 202-215
2002
[j7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/deLiguor02
- ask others
Ugo de'Liguoro: Subtyping in Logical Form. Electr. Notes Theor. Comput. Sci. 70(1): 72-87 (2002)
2001
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tlca/deLiguoro01
- ask others
Ugo de'Liguoro: Characterizing Convergent Terms in Object Calculi via Intersection Types. TLCA 2001: 315-328

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tlca/Berardid99
- ask others
Stefano Berardi, Ugo de'Liguoro: Total Functionals and Well-Founded Strategies. TLCA 1999: 54-68
1998
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/siamcomp/Dezani-CiancaglinidP98
- ask others
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: A Filter Model for Concurrent lambda-Calculus. SIAM J. Comput. 27(5): 1376-1419 (1998)
1997
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/AlessiDd97
- ask others
Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus. Fundam. Inform. 32(3-4): 193-250 (1997)
1996
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Dezani-CiancaglinidP96
- ask others
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: Filter Models for Conjunctive-Disjunctive lambda-Calculi. Theor. Comput. Sci. 170(1-2): 83-128 (1996)
1995
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/BarbaneraDL95
- ask others
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Intersection and Union Types: Syntax and Semantics. Inf. Comput. 119(2): 202-230 (1995)
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/deLiguoroP95
- ask others
Ugo de'Liguoro, Adolfo Piperno: Non Deterministic Extensions of Untyped Lambda-Calculus. Inf. Comput. 122(2): 149-177 (1995)
1994
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/CardoneDd94
- ask others
Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Combining Type Disciplines. Ann. Pure Appl. Logic 66(3): 197-230 (1994)
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mfcs/AlessiDd94
- ask others
Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: May and Must Convergencey in Concurrent Lambda-Calculus. MFCS 1994: 211-220
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacs/Dezani-CiancaglinidP94
- ask others
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: Fully Abstract Semantics for Concurrent Lambda-calculus. TACS 1994: 16-35
1993
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mfcs/Dezani-CiancaglinidP93
- ask others
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: Filter Models for a Parallel and Non Deterministic Lambda-Calculus. MFCS 1993: 403-412
1992
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/caap/deLiguoroP92
- ask others
Ugo de'Liguoro, Adolfo Piperno: Must Preorder in Non-Deterministic Untyped Lambda-Calculus. CAAP 1992: 203-220
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/LiguoroPS92
- ask others
Ugo de'Liguoro, Adolfo Piperno, Richard Statman: Retracts in simply typed lambda-beta-eta-calculus. LICS 1992: 461-469