C. E. Brown

Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory

C. E. Brown, 2007 .