## Homepages 🌐

- https://www-users.cs.york.ac.uk/~simonf/

## E-Mails 📧

- ku.ca.kroy @retsof.nomis

## Entries

### 2020

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

by Simon Foster 🌐 and Burkhart Wolff 🌐
Oct 20

### 2019

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

by Simon Foster 🌐, Frank Zeyda, Yakoub Nemouchi 📧, Pedro Ribeiro and Burkhart Wolff 📧
Feb 01

### 2017

##### Optics

by Simon Foster 📧, Christian Pardillo-Laursen 📧 and Frank Zeyda 📧
May 25

### 2014

##### Regular Algebras

by Simon Foster 🌐 and Georg Struth 🌐
May 21

##### Relation Algebra

by Alasdair Armstrong, Simon Foster 📧, Georg Struth 🌐 and Tjark Weber 🌐
Jan 25