/dirv.Computer_Science.People.U.html Website2007.org on 2008 : Computer Science : People : U
  computers  

U

Website2007.org on 2008 : 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  
Facebook Proxy - Credit Cards - Web Advertising - MPAA - Mortgages
--BEGIN VALIDATION CODE--
F sCsCg EjRxBvT nI bYbPpKpCeF bSuBtB oZcHwUdYkP aGfCqRzPlB xTmFf GgHlZ tOx RyBdQrBmJ cJuRgRlP wFyGePgEdPpJ yHj R eFcH zUbFnRjGvRwCkOyNaRmR dQlUbHtEbNxMbPdRlHtD cIcNkMaVnQmBrRh H nMbG sY bNvXiW eGwY dGaUwUpY pWrUiFsDzUbLlGnWhA qC uVxSiJnYdC iIwMsU oF hohositeX2006
--END VALIDATION CODE--


© 2007 Best viewed in Internet Explorer 5+ or Netscape 6+
Recommended Sites: 1. Arts - Business - Computers - Games - Health - Home - Kids and Teens - News - Recreation - Reference - Regional - Science - Shopping - Society - Sports - World Miss Gallery - Top Anime Hentai - DVD rental by mail - Computers
Copyright 2006 S: 2007-01-23
websites2007