The Sigmoid Function and the Universal Approximation Theorem by Dustin Bryant, Jim Woodcock and Simon Foster May 23
A Sound Type System for Physical Quantities, Units, and Measurements by Simon Foster and Burkhart Wolff Oct 20
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming by Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro and Burkhart Wolff Feb 01