Benjamin Wack. Typage et déduction dans le calcul de réécriture. (Type systems and deduction in the rewriting calculus). PhD thesis, Henri Poincaré University, Nancy, France, 2005. [doi]
@phdthesis{hal-7112, title = {Typage et déduction dans le calcul de réécriture. (Type systems and deduction in the rewriting calculus)}, author = {Benjamin Wack}, year = {2005}, url = {https://tel.archives-ouvertes.fr/tel-00010546}, researchr = {https://researchr.org/publication/hal-7112}, cites = {0}, citedby = {0}, school = {Henri Poincaré University, Nancy, France}, }