A Type System for Tom - Claude Kirchner; Pierre-Etienne Moreau; Cláudia Tavares (RULE, 2009)

A type system for embedded rewriting programming. (Un système de types pour la programmation par réécriture embarquée). - Cláudia Tavares (2012)

Extending SMT-LIB v2 with λ-Terms and Polymorphism. - Richard Bonichon; David Déharbe; Cláudia Tavares (SMT, 2014)