Home » Computer Sciences » Computer Science By People » U

U - Computer Sciences Directory

    
 
 
Advanced Search
 
 

Companies


Sponsored Links
 
  • Tarmo Uustalu
    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
 

 
 
Advanced Search