Directory > Computers > Computer Science > People 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 Reviews Rating: Not yet Rated
Whois Check
|