|
|
Home: Computer Science: People: U
- Uustalu, Tarmo
University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.
(Rating: 0.00 Votes: 0)
Rate It
|
|
|
Web Hosting
Inkjet Cartridges
Go to my PC
Coupons
Discount Software
|