Travelled to:1 × France
1 × Poland
Collaborated with:B.Accattoli A.Carraro T.Ehrhard L.Paolini S.R.D.Rocca M.Leberle L.Pellissier L.T.d.Falco Andrea Condoluci C.S.Coen
Talks about:call (4) calculus (3) valu (3) structur (1) standard (1) glueabil (1) abstract (1) solvabl (1) resourc (1) general (1)
Person: Giulio Guerrieri
DBLP: Guerrieri:Giulio
Contributed to:
2015
2014
2019
2020
20162019Wrote 6 papers:
- TLCA-2015-GuerrieriPR #call-by #standard #λ-calculus
- Standardization of a Call-By-Value λ-Calculus (GG, LP, SRDR), pp. 211–225.
- FoSSaCS-2014-CarraroG #call-by #semantics
- A Semantical and Operational Account of Call-by-Value Solvability (AC, GG), pp. 103–118.
- ESOP-2019-AccattoliGL
- Types by Need (BA, GG, ML), pp. 410–439.
- CSL-2020-GuerrieriPF
- Glueability of Resource Proof-Structures: Inverting the Taylor Expansion (GG, LP, LTdF), p. 18.
- PPDP-2016-EhrhardG #call-by #λ-calculus
- The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value (TE, GG), pp. 174–187.
- PPDP-2019-AccattoliCGC #automaton
- Crumbling Abstract Machines (BA, AC, GG, CSC), p. 15.