ChaBook.com

Topic: Computers / Computer Science / People / U

Web pages on "U":

Uustalu, Tarmo
University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.
http://www.cs.ioc.ee/~tarmo

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor