Search
❯
Jan 28, 20261 min read
The idea that Simply Typed Lambda Calculus and Propositional Logic are isomorphic.