Documents (Codes MSC)

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

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