scientific article; zbMATH DE number 7440205

zbMath1482.68123arXiv1609.03644MaRDI QIDQ5015378

Anton Salikhmetov

Publication date: 7 December 2021

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

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

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Principles and practice of declarative programming. International conference PPDP '99. Paris, France, September 29--October 1, 1999. Proceedings
• Implementation and application of functional languages. 17th international workshop, IFL 2005, Dublin, Ireland, September 19--21, 2005. Revised selected papers.
• Optimality and inefficiency
• Token-passing Nets for Functional Languages
• Closed reduction: explicit substitutions without $\alpha$ -conversion
• Typed Lambda Calculi and Applications

This page was built for publication: