Directory Help Search only in USearch the Web

U

Computers > Computer Science > People > U

Go to Directory Home

Web Pages

View in Google PageRank order               Viewing in alphabetical order

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

Modified by Google - ©2009 Google
Advertise with Us - Jobs, Press, Cool Stuff...