People Computer Science Computers
University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.
Top: Computers: Computer Science: People: U
- Uustalu, Tarmo - University of Minho - Proof theory, type theory, people categorical logic, people semantics of programming languages, formal methods people of program transformation and people construction.
MySQL - Cache Direct
