Statistics
Publications
4
Citations
81
H-Index
4
Active since
2013
Affiliations
Guillaume Munch-Maccagnoni is an author at University of Cambridge specializing in computer science, syntax, and type systems.
Publications per year
2013–2016
4
4
Formulae-as-types for an involutive negation
Guillaume Munch-Maccagnoni · 2014 · 14 citations · Full text
1–4 of 4