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
![Follow IAS Directory on Twitter Twitter](/images/50x50xtwitter-icon.png.pagespeed.ic.hqBofe3Scj.png)