Title: The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science)
Subjects: Logic programming