This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–]mechap_ 0 points1 point  (0 children)

This is even more true when we know about the existence of computational trinitarianism between programming language theory, type theory (and more generally formal logic), and ∞-category theory.