Recursion principles for syntax with bindings and substitution
From MaRDI portal
Publication:5176985
DOI10.1145/2034773.2034819zbMath1323.68225OpenAlexW2999700365MaRDI QIDQ5176985
Andrei Popescu, Elsa L. Gunter
Publication date: 5 March 2015
Published in: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2034773.2034819
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
A formalized general theory of syntax with bindings ⋮ Rensets and renaming-based recursion for syntax with bindings extended version ⋮ A formalized general theory of syntax with bindings: extended version ⋮ Term-generic logic ⋮ Rensets and renaming-based recursion for syntax with bindings
Uses Software
This page was built for publication: Recursion principles for syntax with bindings and substitution
