BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Manzonetto:Giulio

Contributed to:

LICS 20132013
ICALP (2) 20122012
CSL 20112011
ICALP (2) 20112011
TLCA 20112011
CSL 20072007
LICS 20062006
POPL 20202020

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

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.