The clausal theory of types - Wolfram, D. A. (Cambridge Cambridge University Press, 1993)
Keywords: Logic, Symbolic and mathematical; Programming languages (Electronic Computers)