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