YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname. Price: USD 499.999,- Phone: +49(176)74919078
Computers
»
Computer Science
»
People
» U
Web Pages 1 - 1 of 1
1 -
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
[more pages from this URL]
Add URL
|
My Listings
|
My Account
|
New Membership
|
Contact
