1. Home
  2. Computer
  3. Computer Science
  4. Uustalu, Tarmo

Computer · Computer Science

Uustalu, Tarmo

Listed in the directory · updated 21 Jul 2022

Visit website

Find them on

Share

About Uustalu, Tarmo

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

Tags

P

Where it sits

Computer Computer Science

More in Computer Science

See all →