Travelled to:1 × Austria
1 × Italy
1 × USA
Collaborated with:M.Dezani-Ciancaglini H.Herbelin J.E.Santo D.J.Dougherty P.Lescanne
Talks about:character (2) control (2) strong (2) intersect (1) normaliz (1) calculus (1) approach (1) sequent (1) languag (1) delimit (1)
Person: Silvia Ghilezan
DBLP: Ghilezan:Silvia
Contributed to:
2014
2008
20042017Wrote 4 papers:
- RTA-TLCA-2014-Dezani-CiancagliniG #precise #type system
- Preciseness of Subtyping on Intersection and Union Types (MDC, SG), pp. 194–207.
- POPL-2008-HerbelinG #approach #call-by #continuation
- An approach to call-by-name delimited continuations (HH, SG), pp. 383–394.
- PPDP-2004-DoughertyGL #normalisation
- Characterizing strong normalization in a language with control operators (DJD, SG, PL), pp. 155–166.
- PPDP-2017-SantoG #λ-calculus
- Characterization of strong normalizability for a sequent lambda calculus with co-control (JES, SG), pp. 163–174.