The Holy Trinity of Computation: logic, languages, categorieshttps://existentialtype.wordpress.com/2011/03/27/the-holy-trinity/ by davidmathers • 15 years ago 2 0 15 years agoEXexistentialtype.wordpress.com