Travelled to:1 × Norway
1 × Serbia
1 × United Kingdom
2 × Switzerland
2 × USA
Collaborated with:A.Salibra M.Pagani J.Laird G.McCusker A.Bucciarelli T.Ehrhard Davide Barbarossa C.Berline S.Salvati M.Gehrke H.Barendregt A.Carraro
Talks about:calculus (3) categori (2) resourc (2) taylor (2) enough (2) relat (2) model (2) deconstruct (1) differenti (1) construct (1)
Person: Giulio Manzonetto
DBLP: Manzonetto:Giulio
Contributed to:
2013
2012
20112011
201120072006
2020Wrote 9 papers:
- LICS-2013-LairdMMP #modelling #relational #λ-calculus
- Weighted Relational Models of Typed λ-Calculi (JL, GM, GM, MP), pp. 301–310.
- ICALP-v2-2012-SalvatiMGB
- Loader and Urzyczyn Are Logically Related (SS, GM, MG, HB), pp. 364–376.
- CSL-2011-BucciarelliCEM #abstraction #calculus #testing
- Full Abstraction for Resource Calculus with Tests (AB, AC, TE, GM), pp. 97–111.
- ICALP-v2-2011-LairdMM #category theory #difference #game studies
- Constructing Differential Categories and Deconstructing Categories of Games (JL, GM, GM), pp. 186–197.
- TLCA-2011-ManzonettoP #theorem #λ-calculus
- Böhm’s Theorem for Resource λ Calculus through Taylor Expansion (GM, MP), pp. 153–168.
- CSL-2007-BerlineMS #effectiveness #modelling
- λ Theories of Effective λ Models (CB, GM, AS), pp. 268–282.
- CSL-2007-BucciarelliEM
- Not Enough Points Is Enough (AB, TE, GM), pp. 298–312.
- LICS-2006-ManzonettoS #algebra #λ-calculus
- Boolean Algebras for λ Calculus (GM, AS), pp. 317–326.
- POPL-2020-BarbarossaM
- Taylor subsumes Scott, Berry, Kahn and Plotkin (DB, GM), p. 23.