conf.researchr.org / Guillaume Munch-Maccagnoni
Registered user since Sat 21 Nov 2015
Name:Guillaume Munch-Maccagnoni
Bio:
Mastodon: @gadmm@mathstodon.xyz
Country:France
Affiliation:INRIA
Personal website: https://guillaume.munch.name/
Research interests:Programming languages, proof theory, topics in-between.
Contributions