Documents (MSC Codes)

• [Multi angle] Focused proof systems / Author of the conference Miller, Dale. -Marseille : CIRM
  
• [Multi angle] Heterodox exponential modalities in linear logic / Author of the conference Mazza, Damiano. -Marseille : CIRM
  
• [Multi angle] Deux ou trois choses que je sais d'elle : la logique / Author of the conference Girard, Jean-Yves. -Marseille : CIRM
  

Linked documents : [3 document(s)]