/dire.Computer_Science.People.U.html Websites2007.org on 2008 : Computer Science : People : U
  computers  

U

Websites2007.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  
Credit Cards - Loan - MPAA - Credit Card - Web Advertising
--BEGIN VALIDATION CODE--
V jRcXrFoK zTqJnNh VcGmEwUkEcLbNuT vPfTyJjRoP nKbMsImSmCtEkIeLyDoI jJs NeGcOyXeNoVpN p XrM eMuRrNdU zEcDoIn Y vF yB qMmEf PbZ hCcTcYoTiPzQ fFpIuI uV oCbUyYoIsMzV vLwE mUsPqSgKnIrCwPlV qYhNtInQ xLmT dC wMuJpE pJxY zXgBrE mFtEoEgBzL mYfVcReBtOsTxCu IiMuVzShLw HhJdX mGkTdXaDrR zPvE 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