IMPS: An interactive mathematical proof system
- 1 January 1993
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 11 (2) , 213-248
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- A partial functions version of Church's simple theory of typesThe Journal of Symbolic Logic, 1990
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Second-order languages and mathematical practiceThe Journal of Symbolic Logic, 1985
- Some Automatic Proofs in Analysis1984
- On Second-Order LogicThe Journal of Philosophy, 1975
- Systems of predicative analysisThe Journal of Symbolic Logic, 1964
- Completeness in the theory of typesThe Journal of Symbolic Logic, 1950
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940
- Mathematical Logic as Based on the Theory of TypesAmerican Journal of Mathematics, 1908
- II.—ON DENOTINGMind, 1905