Blog posts

• An introduction to causal inference via string diagrams   (Jan. 2023)
  
• The algebra of boolean satisfiability   (Mar. 2022)
  
• String diagrams for the lambda-calculus?   (Oct. 2021)
  
• Dieu, Goedel et les preuves   (May. 2023)