U
U Links
- Tarmo Uustalu University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction
| Help build the largest human-edited directory on the web. |
| Submit a Site - Open Directory Project - Become an Editor |