1. Uustalu, Tarmo - 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 - Update a Site - Open Directory Project - Become an Editor

© 2008 Chamas Enterprises Inc.