1MillionSites.com U Directory
Find Internet U sites with just a few clicks!

U

Computers > Computer Science > People > U
 
Websites
 
  • Uustalu, Tarmo - http://www.cs.ioc.ee/~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

The content of 1MillionSites.com is based on the Open Directory and additional sources using proprietary technology.
© 2003 1MillionSites.com All Rights Reserved