`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:

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