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:

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

Congratulations to Tarmo and his collaborators!