- Umair Tariq - Hamdard University, Islamabad - About Me, My CV, My intersts. Also some good jokes and pictures
www.umairpk.netfirms.com
- Uustalu, Tarmo - University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction
www.cs.ioc.ee/~tarmo
|
