BibTeX
@MISC{Jones_created2009/06/21,
author = {Roger Bishop Jones},
title = {Created 2009/06/21},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 874 | A theory of type polymorphism in programming - Milner - 1978 |
| 728 | A formulation of the simple theory of types - Church - 1940 |
| 196 | HOL: A Proof Generating System for Higher-Order Logic - Gordon - 1988 |
| 93 | Mathematical logic as based on the theory of types - Russell - 1908 |
| 57 | Mechanizing programming logics in higher order logic - Gordon - 1989 |
| 39 | The foundations of mathematics - Ramsey - 1926 |
| 15 | Requirements Analysis - Ellis, Jones, et al. - 1998 |
| 3 | Analyses of Analysis: Part II - Synthetic Analysis. RBJones.com - Jones - 2009 |
| 3 | The Logic and Metaphysics of Leibniz. RBJones.com - Jones - 2009 |
| 2 | The Proposition. RBJones.com - Jones - 2009 |
| 2 | A Self-Defining Semantics for First Order Set Theory. RBJones.com - Jones - 2009 |
| 2 | Aristotle’s Logic and Metaphysics. RBJones.com - Jones - 2010 |
| 2 | Formalised: Language and Overview - HOL |
