RBJ IAB Chronological
- At School
-
- Passing Through Cambridge
-
- Real Industry
-
- Constructive leanings
-
- Undergraduate Philosophy
-
- Postgraduate Leanings
-
- The Dark Years
-
- Searching for Logic
-
- AI revisited
-
- Reflexive Foundations
-
- Classical Foundations
-
- First Thoughts on Z
-
- Security Modelling
-
- Translating Z into HOL
-
- Recursive Data Types in HOL
-
- Problems in Logical Foundations
-
- Compiling SML
-
- SML as Metalanguage
-
- Hardware Verification
-
- ProofPower
-
- Doing Z properly
-
© created 1995/6/26 modified 1996/06/04