|
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
|
||