The clausal theory of types - Wolfram, D. A. (Cambridge tracts in theoretical computer science, 1993)