Simon Foster

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