Simon Foster

The Kolmogorov-Chentsov theorem

by Christian Pardillo-Laursen and Simon Foster

A Sound Type System for Physical Quantities, Units, and Measurements

by Simon Foster and Burkhart Wolff

Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming

by Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro and Burkhart Wolff

Optics

by Simon Foster, Christian Pardillo-Laursen and Frank Zeyda

Regular Algebras

by Simon Foster and Georg Struth

Relation Algebra

by Alasdair Armstrong, Simon Foster, Georg Struth and Tjark Weber