zbMath0925.03096MaRDI QIDQ4246736
Mizuhito Ogawa
Publication date: 15 June 1999
Mathematics Subject Classification ID
68Q42: Grammars and rewriting systems
03B40: Combinatory logic and lambda calculus
Related Items