Home » » »
Year | Month | Week | Day
« prevMartedì, Maggio 19 2015next »
05 / 19
Key 1

Aspetti computazionali della negazione: dal lambda-calcolo di Church alla Logica Lineare.

Speaker:
Jean-Baptiste Joinet (Université Lyon 3)
Quando:
19/05/2015 - 12:00
Dove:
Scuola di Lettere, Filosofia e Lingue, via Ostiense 234, Aula 15
Abstract