Paul C. Gilmore
-
Partial Functions in an Impredicative Simple Theory of Types
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods