Gravnville Henry has written on the relationship between mathematics and Christian theology, from ancient to modern times. He is author of Logos, Mathematics, and Christian Theology, and more recently, Forms of Concrescence. In the latter work, he discusses the logic and analysis of computer programming language and possible relationships to contemporary process thought, as he questions the scopes and limits of abstraction.