Suggest a site
Search the Directory
:
Options:
entire directory
this category only
advanced
Web Domain Directory
:
Computers
:
Computer_Science
:
People
:
U
:
U
(1)
Web Sites 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
U This category needs an editor
"
U
"
search engine on:
AltaVista
-
A9
-
AOL
-
Ask
-
Clusty
-
Gigablast
-
Google
-
Lycos
-
MSN
-
Yahoo
Last Updated:
Help build the largest human-edited directory on the web.
Submit a Site
-
Open Directory Project
-
Become an Editor
The content of this directory is based on the
Open Directory
and may have been modified by
Web Domain Directory
Domain Name
Webhosting
Server