Publication:2778865

zbMath0981.68580MaRDI QIDQ2778865

H. P. Barendregt

Publication date: 21 March 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2051/20510001

Mathematics Subject Classification ID

68U99: Computing methodologies and applications

68-02: Research exposition (monographs, survey articles) pertaining to computer science

68Q42: Grammars and rewriting systems