zbMath1270.68133MaRDI QIDQ2844061
Ginés Moreno
Publication date: 27 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104806984
Mathematics Subject Classification ID
68N18: Functional programming and lambda calculus
68Q42: Grammars and rewriting systems