A B C D E F G H I J K L M N O P Q R S T UV W X Y Z
Uustalu, Tarmo
University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.
[Computer Mozilla]
Last update:
January 2, 2007 at 19:58:36 UTC
Computers
Games
Health
Home
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
All Languages
Arts
Business