Travelled to:1 × Austria
1 × France
1 × Japan
1 × Portugal
Collaborated with:∅ G.Scherer P.Curien M.P.Fiore
Talks about:polaris (2) model (2) represent (1) intermedi (1) composit (1) calculus (1) resourc (1) involut (1) formula (1) focalis (1)
Person: Guillaume Munch-Maccagnoni
DBLP: Munch-Maccagnoni:Guillaume
Contributed to:
2015
20142014
2009
2016Wrote 5 papers:
- LICS-2015-Munch-Maccagnoni #representation #λ-calculus
- Polarised Intermediate Representation of λ Calculus with Sums (GMM, GS), pp. 127–140.
- FoSSaCS-2014-Munch-Maccagnoni #composition #modelling
- Models of a Non-associative Composition (GMM), pp. 396–410.
- LICS-CSL-2014-Munch-Maccagnoni #type system
- Formulae-as-types for an involutive negation (GMM), p. 10.
- CSL-2009-Munch-Maccagnoni
- Focalisation and Classical Realisability (GMM), pp. 409–423.
- POPL-2016-CurienFM #calculus #formal method #modelling
- A theory of effects and resources: adjunction models and polarised calculi (PLC, MPF, GMM), pp. 44–56.