Directory of Resources

Home > Computers > Computer Science > People > U

Resources in This Category

• Uustalu, Tarmo

  http://www.cs.ioc.ee/~tarmo
  University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.

 

Home > Computers > Computer Science > People > U

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us