Sylvain Salvati. Lambda-calculus and formal language theory. 2015. [doi]
@book{Salvati15-1,
title = {Lambda-calculus and formal language theory},
author = {Sylvain Salvati},
year = {2015},
url = {https://tel.archives-ouvertes.fr/tel-01253426},
researchr = {https://researchr.org/publication/Salvati15-1},
cites = {0},
citedby = {0},
}