Travelled to:1 × Austria
1 × France
1 × Serbia
1 × USA
2 × Italy
2 × Poland
Collaborated with:S.Berardi F.Barbanera ∅ L.Padovani S.v.Bakel A.Piperno R.Statman J.Bessai A.Dudenhefner B.Düdder T.Chen J.Rehof
Talks about:type (4) calculus (3) intersect (2) strategi (2) base (2) character (1) behaviour (1) synthesi (1) knowledg (1) interact (1)
Person: Ugo de'Liguoro
DBLP: de'Liguoro:Ugo
Contributed to:
2015
20122011
2010200820011999
1992
2018Wrote 9 papers:
- TLCA-2015-BessaiDDCdR #composition #mixin #synthesis
- Mixin Composition Synthesis Based on Intersection Types (JB, AD, BD, TCC, Ud, JR), pp. 76–91.
- CSL-2012-Berardid #learning
- Knowledge Spaces and the Completeness of Learning Strategies (SB, Ud), pp. 77–91.
- TLCA-2011-BakelBd #λ-calculus #μ-calculus
- A Filter Model for the λμ-Calculus — (SvB, FB, Ud), pp. 213–228.
- PPDP-2010-Barbanerad #behaviour
- Two notions of sub-behaviour for session-based client/server systems (FB, Ud), pp. 155–164.
- CSL-2008-Berardid #calculus
- A Calculus of Realizers for EM1 Arithmetic (SB, Ud), pp. 215–229.
- TLCA-2001-deLiguoro #calculus #convergence
- Characterizing Convergent Terms in Object Calculi via Intersection Types (Ud), pp. 315–328.
- TLCA-1999-Berardid
- Total Functionals and Well-Founded Strategies (SB, Ud), pp. 54–68.
- LICS-1992-LiguoroPS #λ-calculus
- Retracts in simply typed λβη-calculus (Ud, AP, RS), pp. 461–469.
- ECOOP-2018-deLiguoroP #interactive
- Mailbox Types for Unordered Interactions (Ud, LP), p. 28.