/ Home / Web Directory / Computers / Computer Science / People / U   (1)

Web Sites in Category 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.

Submit a Site - Open Directory Project - Become an Editor



Looking for a job in the education sector? Visit Education America Network (for US job postings) or Education Canada Network (for Canadian opportunities).

Re-use/reproduction of some materials may be limited, please see our Acceptable Use Guidelines.
© 2001-2006 World of Education