peteg's webspace - papers

You can find BibTeX entries and so forth at DBLP. My thesis work may also be of interest.

Papers

Isabelle Theories

The following are available at the Archive of Formal Proofs:

Book reviews


Peter Gammie
<< Home