Home › Authors › D. A. Wolfram 👤 D. A. Wolfram 2 books Books by D. A. Wolfram The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science) 2009 The clausal theory of types 1993
