18/03/2014 - 17:00
Scuola di Lettere, Filosofia e Lingue, via Ostiense 234, aula 16 (piano terra)
Prof. Mitsuhiro OKADA (Keio University - Tokyo)
Phase semantical decomposition and composition of linear logic