scientific article; zbMATH DE number 7438157

zbMath1476.68121arXiv1405.6380MaRDI QIDQ5013813

Vincent van Oostrom, Clemens Grabmayer

Publication date: 2 December 2021

Full work available at URL: https://arxiv.org/abs/1405.6380

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

context-free grammarshigher-order rewrite systemshigher-order term graphscyclic \(\lambda\)-terms

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Related Items

Unnamed Item

Cites Work

• Maximal sharing in the Lambda calculus with letrec
• Jumping Boxes
• de Bruijn notation as a nested datatype
• Proceedings 7th International Workshop on Computing with Terms and Graphs
• Monads of coalgebras: rational terms and term graphs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item