Guillaume Munch-Maccagnoni

According to our database, Guillaume Munch-Maccagnoni authored at least 12 papers between 2009 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

What is 'undone computer science'?

Chantal Enguehard, Guillaume Munch-Maccagnoni, Alberto Naibo

CoRR, May, 2026

S4 modal sequent calculus as intermediate logic and intermediate language.

Jean Caspar, Guillaume Munch-Maccagnoni

CoRR, January, 2026

Classical Notions of Computation and the Hasegawa-Thielecke Theorem.

Éléonore Mangel, Paul-André Melliès, Guillaume Munch-Maccagnoni

Proc. ACM Program. Lang., 2026

Linear Effects, Exceptions, and Resource Safety - A Curry-Howard Correspondence for Destructors.

Sidney Congard, Guillaume Munch-Maccagnoni, Rémi Douence

Proceedings of the Programming Languages and Systems, 2026

2018

Resource Polymorphism.

Guillaume Munch-Maccagnoni

CoRR, 2018

2016

A theory of effects and resources: adjunction models and polarised calculi.

Pierre-Louis Curien, Marcelo P. Fiore, Guillaume Munch-Maccagnoni

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Polarised Intermediate Representation of Lambda Calculus with Sums.

Guillaume Munch-Maccagnoni, Gabriel Scherer

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

Models of a Non-associative Composition.

Guillaume Munch-Maccagnoni

Proceedings of the Foundations of Software Science and Computation Structures, 2014

Formulae-as-types for an involutive negation.

Guillaume Munch-Maccagnoni

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Syntax and Models of a non-Associative Composition of Programs and Proofs. (Syntaxe et modèles d'une composition non-associative des programmes et des preuves).

Guillaume Munch-Maccagnoni

PhD thesis, 2013

2010

The Duality of Computation under Focus.

Pierre-Louis Curien, Guillaume Munch-Maccagnoni

Proceedings of the Theoretical Computer Science, 2010

2009

Focalisation and Classical Realisability.

Guillaume Munch-Maccagnoni

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009