u

    Top: Computers: Computer_Science: People: U:

• - University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.