Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373 Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3 Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9
Cut-elimination is a rewriting system defined in many logics, which has been widely studied. In general, a major result is to prove its weak normalization, [...]
"Coarse" geometry studies unbounded metric spaces "from far away", ignoring all the fine local structure. This paradigm is very successfull and underlies e.g. most of [...]