---

Add URL

My Sites

My Account

Contact Us

Search only in U   Search the Web

 Home » Computer Science » People » U

Web Pages    1 - 1   {1}

1 - 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   [more pages from this URL]

E-Mail Add URL