Dieu, Goedel et les preuves
Dieu, Goedel et les preuves
Robin Piedeleu
Robin Piedeleu's academic webpage
Latest posts
Diagrammatic causal inference continued: the new napkin problem
Diagrammatic causal inference continued: the new napkin problem
An introduction to causal inference via string diagrams
An introduction to causal inference via string diagrams
The algebra of boolean satisfiability
The algebra of boolean satisfiability
String diagrams for the lambda-calculus?
A string-diagrammatic interpretation of the lambda-calculus
Research
Robin Piedeleu's research preprints and publications