Add your Web Site - People - U Add Search to your Site Search for: Internet Entire Directory Directory - U Results per page: 10 20 50 Output format: Long Short URL Match: All Any Boolean Pages from: All Countries Afghanistan American Samoa Albania Algeria Andorra Angola Anguilla Antigua and Barbuda Antarctica Argentina Armenia Aruba Australia Austria Azerbaijan Bahamas Bahrain Bangladesh Barbados Belarus Belgium Belize Benin Bermuda Bhutan Bolivia Bosnia and Herzegovina Botswana Bouvet Island Brazil British Indian Ocean Territory Brunei Darussalam Bulgaria Burkina Faso Burundi Cambodia Cameroon Canada Cape Verde Cayman Islands Central African Republic Chad Chile China Christmas Island Cocos (Keeling) Islands Colombia Comoros Congo Cook Islands Costa Rica Cote D'Ivoire (Ivory Coast) Croatia (Hrvatska) Cuba Cyprus Czech Republic Czechoslovakia (former) Denmark Djibouti Dominica Dominican Republic East Timor Ecuador Egypt El Salvador Eritrea Estonia Ethiopia Equatorial Guinea Falkland Islands (Malvinas) Faroe Islands Fiji Finland France France, Metropolitan French Guiana French Polynesia French Southern Territories Gabon Gambia Germany Georgia Ghana Gibraltar Great Britain (UK) Greece Greenland Grenada Guadeloupe Guam Guatemala Guinea Guinea-Bissau Guyana Haiti Heard and McDonald Islands Honduras Hungary Hong Kong Iceland India Indonesia Iran Iraq Ireland Israel Italy Jamaica Japan Jordan Kazakhstan Kenya Kiribati Korea (North) Korea (South) Kuwait Kyrgyzstan Laos Latvia Lebanon Lesotho Liberia Libya Liechtenstein Lithuania Luxembourg Macau Macedonia Madagascar Malawi Malaysia Maldives Mali Malta Marshall Islands Martinique Mauritania Mauritius Mayotte Mexico Micronesia Moldova Monaco Mongolia Montserrat Morocco Mozambique Myanmar Namibia Nauru Nepal Netherlands Netherlands Antilles Neutral Zone New Caledonia New Zealand (Aotearoa) Northern Mariana Islands Nicaragua Niue Niger Nigeria Norfolk Island Norway Oman Pakistan Palau Panama Papua New Guinea Paraguay Peru Philippines Pitcairn Poland Portugal Puerto Rico Qatar Reunion Romania Russian Federation Rwanda Saint Kitts and Nevis Saint Lucia Saint Vincent and the Grenadines Samoa San Marino Sao Tome and Principe Saudi Arabia Senegal Seychelles Sierra Leone Singapore Slovak Republic Slovenia Solomon Islands Somalia South Africa S. Georgia and S. Sandwich Isls. Spain Sri Lanka St. Pierre and Miquelon St. Helena Sudan Suriname Svalbard and Jan Mayen Islands Swaziland Sweden Switzerland Syria Taiwan Tajikistan Tanzania Thailand Togo Tokelau Tonga Trinidad and Tobago Tunisia Turkey Turkmenistan Turks and Caicos Islands Tuvalu Uganda Ukraine United Arab Emirates United States Uruguay US Minor Outlying Islands Uzbekistan Vanuatu Vatican City State (Holy See) Venezuela Virgin Islands (British) Virgin Islands (U.S.) Viet Nam Wallis and Futuna Islands Western Sahara Yemen Yugoslavia Zaire Zambia Zimbabwe        Show pages from IntraNet   Show all pages  DIRECTORY/Science/Tech/Computer Science/People/U (1) Uustalu, Tarmo - http://www.cs.ioc.ee/~tarmo - University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.    E-Mail: webmaster@teradex.com Copyright © 2007 Aaex Corp. all rights reserved.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor This site is presented in modified Open Directory form