Une analyse philosophique et quelques résultats sur le typage
Paolo Pistone
I2M, Aix-Marseille Université
http://logica.uniroma3.it/pistone/
Date(s) : 06/02/2014 iCal
14h00 - 15h00
TBA
Catégories
Localisation
Adresses
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
