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


  
Twitter