Site Meter
web directory
Advertisers
Free Chat Rooms   UK Chat Rooms   Chat Community   Free Chat Rooms   Punk Rock T-Shirts   
Elevating Manual Wheelchairs   
Home | Directory Submission | Buy Text Links | Current Headlines | Theaters and Showtimes | News Archive |
Suggest a Site | Check Status | Our Site Maps (Beta) | About Neorunner.com
Top: 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 | U | V | W | X | Y | Z ]

  • Uustalu, Tarmo - - University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.

Search for "U" on the following search engines:
Google | Yahoo | MSN | Alta Vista | Dogpile | Ditto Image Search |
U - Computers - Computer Science - People - U
Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Repair Credit   Online Option Trading   Gate Operator   Harley Davidson Accessories