Gruppo di Logica e Geometria della Cognizione
Accedi
Home
»
»
Year
| Month |
Week
|
Day
« prev
Ottobre 2017
next »
Lun
Mar
Mer
Gio
Ven
Sab
Dom
40
1
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
42
9
10
11
12
13
14
15
43
16
17
18
19
20
21
22
44
23
24
25
26
27
28
29
44
30
31
Home
Calendario
Membri
Visitatori
Eventi
Seminari
Formazione
Tesi
Progetti
Pubblicazioni
Come arrivare