WebInfoSearch Web Directory and Search Engine  WebInfoSearch Web Directory


Top: Computers : Computer_Science : People : U

Sites:

Uustalu, Tarmo: University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.

Google

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

1999 - 2005 All Rights Reserved by WebInfoSearch. All trademarks used are the properties of their respective owners.
Unclaimed Money Search