Documents (Codes MSC)

• [Multi angle] From axioms to synthetic inference rules via focusing / Auteur de la conférence Miller, Dale. -Marseille : CIRM
  
• [Multi angle] Focused proof systems / Auteur de la conférence Miller, Dale. -Marseille : CIRM
  
• [Multi angle] Deux ou trois choses que je sais d'elle : la logique / Auteur de la conférence Girard, Jean-Yves. -Marseille : CIRM
  

Documents liés : [3 document(s)]