| Home
|
U (1) Sites:
» 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 This category needs an editor
Last Updated: 2007-01-02 19:58:36
The content of this directory is based on the Open Directory and has been modified by GoSearchFor.com
|
