RBJ IAB Chronological

At School

God

Passing Through Cambridge

First thoughts on AI

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


UP HOME © rbj created 1995/6/26 modified 1996/06/04