Home

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