<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Logic, type theory, category theory, functional programming, and Bayesian thinking may all be... on deniz</title><link>https://denizaydemir.com/graph/mathematical-logic/6a4d4947-485d-4db9-a063-1d6b469bed66/6a4d4947-a6d6-4523-849e-98cb0f77f524/</link><description>Recent content in Logic, type theory, category theory, functional programming, and Bayesian thinking may all be... on deniz</description><generator>Hugo</generator><language>en-us</language><atom:link href="https://denizaydemir.com/graph/mathematical-logic/6a4d4947-485d-4db9-a063-1d6b469bed66/6a4d4947-a6d6-4523-849e-98cb0f77f524/index.xml" rel="self" type="application/rss+xml"/></channel></rss>