Documents (MSC Codes)

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

Linked documents : [4 document(s)]