Wectar - Computers - Computer Science - People - U

Uustalu, Tarmo

URL: http://www.cs.ioc.ee/~tarmo
ODP description: University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.
Page title: Tarmo Uustalu

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor