Uustalu, Tarmo

Uustalu, Tarmo
All Links

Share this:

Details of Uustalu, Tarmo

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.
P