DOI10.1016/S0304-3975(97)00040-6zbMath0903.68111MaRDI QIDQ1389686
Mohamed Mezghiche
Publication date: 30 June 1998 Published in: Theoretical Computer Science (Search for Journal in Brave)
zbMATH Keywords
functional programming languages\(\lambda \beta\)-Reduction\(c\beta\)-Reductioncombinatory reduction
Mathematics Subject Classification ID
Formal languages and automata (68Q45)
Related Items
Cites Work