Documents (Codes MSC)

• [Multi angle] An introduction to Differential Linear Logic / Auteur de la Conférence Kerjean, Marie. -Marseille : CIRM
  
• [Multi angle] A geometric theory of algorithms / Auteur de la Conférence Seiller, Thomas. -Marseille : CIRM
  
• [Multi angle] Relational models for the Lambek calculus with intersection and unit / Auteur de la Conférence Kuznetsov, Stepan. -Marseille : CIRM
  
• [Multi angle] Time warps, from algebra to algorithms / Auteur de la Conférence Santschi, Simon. -Marseille : CIRM
  

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