MetaXearch > / Computer Science / People / U / Uustalu, Tarmo University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction. (infos) Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Statistics

• 3 364 436 urls

© MetaXearch - All rights reserved