| LTN |
U: Computer Science People U:  Uustalu, TarmoComputers: Uustalu, People U University of Minho - Proof theory Tarmo type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction. CS Faculty Links - UComputer Science People - List of Schools with Computer Science Departments Links U linked directly to their faculty lists. A Day in the Life of...Computer Science People - Archive of short biographies of how people in computer science/management information science spend their days in the Life of.. Hosted by Crossroads, the student magazine of the Association for Computing Machinery. HomePageSearch - UComputer Science People - Searchtool for Personal Home Pages of Computer Scientists U Provides more than 75000 Links to Personal Home Pages of Computer Scientists. | |||||||