U

Search Headquarters : Computers : Computer Science : People : U

[ A ] [ B ] [ C ] [ D ] [ E ] [ F ] [ G ] [ H ] [ I ] [ J ] [ K ] [ L ] [ M ] [ N ] [ O ] [ P ] [ Q ] [ R ] [ S ] [ T ] [ V ] [ W ] [ X ] [ Y ] [ Z ]

1 pages found in 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

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

Submit a Site - Open Directory Project - Become an Editor