Documents (MSC Codes)

• [Multi angle] Weighted relational models / Author of the conference McCusker, Guy. -Marseille : CIRM
  
• [Multi angle] Böhm trees and Taylor expansion / Author of the conference Manzonetto, Giulio. -Marseille : CIRM
  
• [Multi angle] An introduction to Differential Linear Logic / Author of the conference Kerjean, Marie. -Marseille : CIRM
  
• [Multi angle] An introduction to statistical modelling semantics with higher-order measure theory / Author of the conference Kammar, Ohad. CIRM
  
• [Multi angle] Taylor expansion, at work / Author of the conference Manzonetto, Giulio. -Marseille : CIRM
  
• [Multi angle] Differential linear logic extended to differential operators / Author of the conference Kerjean, Marie. -Marseille : CIRM
  
• [Multi angle] L'importance des langages en informatique / Author of the conference Berry, Gérard. CIRM
  

Linked documents : [7 document(s)]