[codekilla]

Bob Harper wrote a really good blog entry that expounds on this as Computational Trinitarianism [1].

Michael Shulman also wrote about the extension to Homotopical Trinitarianism [2]

For a good summary with links there is [3]

[1] Computational Trinitarinism, https://existentialtype.wordpress.com/2011/03/27/the-holy-tr...

[2] Homotopical Trinitarinism, http://home.sandiego.edu/~shulman/papers/trinity.pdf]

[3] nCatLab, https://ncatlab.org/nlab/show/computational+trilogy

[gnufx]

Lacking time to study, is this basically what Phil Wadler has written and talked about, like "Propositions as types"?

[akomtu]

To the Mr. Harper's observation we should add that the trinitary theory of computation needs to express itself in reality and it does so thru the quadrant of hardware: transistors, memory, electricity and machine code. Thus three, standing on the four, represents computation in action.

[nradov]

In principle it doesn't have to be transistors specifically. Any switching device will suffice.