| » Uustalu, Tarmo - University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction. |
Powered by DWodp live version 1.2.4 Copyright © 2003-2004 Dominion Web