Gruppo di Logica e Geometria della Cognizione
Accedi
Home
»
»
Year
|
Month
| Week |
Day
« prev
Week of Ottobre 2 2017
next »
Ott
Lun
Mar
Mer
Gio
Ven
Sab
Dom
41
2
3
4
5
6
Key 1
A characterization of head-normalization through some intersection type systems and the relational model via Taylor expansion
11:00
7
8
Home
Calendario
Membri
Visitatori
Eventi
Seminari
Formazione
Tesi
Progetti
Pubblicazioni
Come arrivare