|
||||||||||||
|
||||||||||||
|
|
Home » Computer Sciences » Computer Science By People » U » Tarmo Uustalu Tarmo Uustalu in Computer Engineering Resources Directory |
University of Minho Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.
Website: http://www.cs.ioc.ee/~tarmo
Sponsored Links

