Uustalu, Tarmo

cs.ioc.ee

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

Rate This Site

More in U Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5756903" title="Uustalu, Tarmo"><img src="https://e-sygoing.link/badge.php?lid=5756903" alt="Listed on e-sygoing.link" height="20"></a>

Place this code on your website to show you're listed here.

Uustalu, Tarmo

Rate This Site

Submit Your Site