MSc Presentation - Ethan Jackson  Printer-friendly version
Ethan Jackson will present the results of his reading course on
Friday May 03 @10:00 am in J328. A shortabstract is given below:
In formal software engineering the task of proving program
correctness is often difficult and expensive.  Due to the Curry-
Howard correspondence, stating that there is an equivalence
between proofs and programs, the use of certain software proof
assistants can accelerate this task and in turn help generate
correct program code.  To make use of this we consider
implementations of category theory suitable for reasoning
abstractly about functional programs, types, and relation
algebras as a precursor to a concrete implementation of Fuzzy
Controllers in Arrow Categories.  Everybody is welcome :)