|
|
 |
|
Vendredi 28 Février
| Heure: |
00:59 - 12:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Ludique et types: éléments de déconstruction |
| Description: |
Christophe Fouqueré We will discuss/analyze the following observations and the questions they rise:Observations:
- Each formula of MALL2 is denoted by a behaviour in Ludics.
- Cut-elimination is fully plugged into / at the heart of Ludics.
- And with properties expected for a logic.
Questions:
- Can we characterize exactly behaviours that denote MALL(c/2/inf) formulas?
- Can we define the algebraic structure of a behaviour? I.e. a language
for behaviours?
- Can we develop a sequent calculus for this language? |
|
|
