Title: The clausal theory of types
First published: 1993
Subjects: Logic programming, Computer science
LC classification: QA76.63 .W64 1993