Websites on U: Uustalu, Tarmo University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.
Help build the largest human-edited directory on the
web.