- H. Maarand, T. Uustalu. Certified normalization of generalized traces. Innov. in Syst. and Softw. Engin., A NASA Journal, Springer.
- J. Espírito Santo, L. Pinto, T. Uustalu. Modal embeddings and calling paradigms. In H. Geuvers, ed., Proc. of 4th Int. Conf. on Formal Structures for Computation and Deduction, FSCD 2019 (Dortmund, June 2019), Leibniz Int. Proc. in Inf., Dagstuhl Publishing, Saarbrücken/Wadern.
Monday, 15 April 2019
Two recent papers by the programming theory group at ICE-TCS
The following two papers by Tarmo Uustalu and his co-workers have recently been accepted for publication: