Comment by 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