BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: de'Liguoro:Ugo

Contributed to:

TLCA 20152015
CSL 20122012
TLCA 20112011
PPDP 20102010
CSL 20082008
TLCA 20012001
TLCA 19991999
LICS 19921992
ECOOP 20182018

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.