Documents (Authors)

• [Multi angle] An introduction to Differential Linear Logic / Author of the conference Kerjean, Marie. -Marseille : CIRM
  
• [Multi angle] Coq/Rocq tutorial: Ssreflect tactics and the MathComp library / Author of the conference Kerjean, Marie. -Marseille : CIRM
  
• [Multi angle] Differential linear logic extended to differential operators / Author of the conference Kerjean, Marie. -Marseille : CIRM
  

Linked documents : [3 document(s)]