Gruppo di Logica e Geometria della Cognizione
Accedi
Home
»
»
Year
| Month |
Week
|
Day
« prev
Gennaio 2019
next »
Lun
Mar
Mer
Gio
Ven
Sab
Dom
02
1
2
3
4
5
6
03
7
8
9
10
11
12
13
04
14
15
16
17
18
Key 1
Linear Implicative Algebras, a Brouwer-Heyting-Kolmogorov interpretation of linear logic
12:00
19
20
05
21
22
23
24
25
Key 1
Types by Need (joint work with Beniamino Accattoli and Maico Leberle)
11:00
26
27
05
28
29
30
31
Home
Calendario
Membri
Visitatori
Eventi
Seminari
Formazione
Tesi
Progetti
Pubblicazioni
Come arrivare