Marco Solieri, Taylor-expansion, cut elimination and geometry of interaction

Schedule

• Dec. 21, 2015, 14:45 - 15:15