2 results
Benedikt Ahrens ; André Hirschowitz ; Ambroise Lafont ; Marco Maggesi.
We present a device for specifying and reasoning about syntax for datatypes, programming languages, and logic calculi. More precisely, we study a notion of "signature" for specifying syntactic constructions. In the spirit of Initial Semantics, we define the "syntax generated by a signature" to be […]
Published on May 26, 2021
André Hirschowitz ; Tom Hirschowitz ; Ambroise Lafont ; Marco Maggesi.
By abstracting over well-known properties of De Bruijn's representation with nameless dummies, we design a new theory of syntax with variable binding and capture-avoiding substitution. We propose it as a simpler alternative to Fiore, Plotkin, and Turi's approach, with which we establish a strong […]
Published on March 1, 2024