<![CDATA[ Robin Piedeleu ]]> https://piedeleu.com <![CDATA[ Dieu, Goedel et les preuves ]]> https://piedeleu.com/posts/dieu-science-preuves-goedel/index.html https://piedeleu.com/posts/dieu-science-preuves-goedel/index.html Tue, 25 Feb 2025 00:00:00 +0000 Robin Piedeleu <![CDATA[ Diagrammatic causal inference continued: the new napkin problem ]]> https://piedeleu.com/posts/diagrammatic-causal-inference-2-napkin-problem/index.html https://piedeleu.com/posts/diagrammatic-causal-inference-2-napkin-problem/index.html Sat, 27 May 2023 00:00:00 +0000 Robin Piedeleu <![CDATA[ An introduction to causal inference via string diagrams ]]> https://piedeleu.com/posts/diagrammatic-causal-inference/index.html https://piedeleu.com/posts/diagrammatic-causal-inference/index.html Sat, 18 Feb 2023 00:00:00 +0000 Robin Piedeleu <![CDATA[ The algebra of boolean satisfiability ]]> https://piedeleu.com/posts/algebra-of-sat/index.html https://piedeleu.com/posts/algebra-of-sat/index.html Sat, 18 Feb 2023 00:00:00 +0000 Robin Piedeleu <![CDATA[ String diagrams for the lambda-calculus? ]]> https://piedeleu.com/posts/diagrammatic-lambda-calculus/index.html https://piedeleu.com/posts/diagrammatic-lambda-calculus/index.html Sat, 18 Feb 2023 00:00:00 +0000 Robin Piedeleu <![CDATA[ Research ]]> https://piedeleu.com/research/index.html https://piedeleu.com/research/index.html Fri, 22 Mar 2019 00:00:00 +0000 Robin Piedeleu