Travelled to:
1 × The Netherlands
Collaborated with:
Y.Guiraud S.Mimram
Talks about:
procedur (1) homotop (1) complet (1) monoid (1) applic (1) coher (1)
Person: Philippe Malbos
DBLP: Malbos:Philippe
Contributed to:
Wrote 1 papers:
- RTA-2013-GuiraudMM #monad #topic
- A Homotopical Completion Procedure with Applications to Coherence of Monoids (YG, PM, SM), pp. 223–238.