BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Munch-Maccagnoni:Guillaume

Contributed to:

LICS 20152015
FoSSaCS 20142014
CSL-LICS 20142014
CSL 20092009
POPL 20162016

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

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.