A formalized general theory of syntax with bindings
Conference paper
Gheri, L. and Popescu, A. 2017. A formalized general theory of syntax with bindings. 8th International Conference Interactive Theorem Proving (ITP). Brasília, Brazil 26 - 29 Sep 2017 Springer. pp. 241-261 https://doi.org/10.1007/978-3-319-66107-0_16
Type | Conference paper |
---|---|
Title | A formalized general theory of syntax with bindings |
Authors | Gheri, L. and Popescu, A. |
Abstract | We present the formalization of a theory of syntax with bindings that has been developed and refined over the last decade to support several large formalization efforts. Terms are defined for an arbitrary number of constructors of varying numbers of inputs, quotiented to alpha-equivalence and sorted according to a binding signature. The theory includes a rich collection of properties of the standard operators on terms, such as substitution and freshness. It also includes induction and recursion principles and support for semantic interpretation, all tailored for smooth interaction with the bindings and the standard operators. |
Research Group | Foundations of Computing group |
Conference | 8th International Conference Interactive Theorem Proving (ITP) |
Page range | 241-261 |
ISSN | 0302-9743 |
ISBN | |
Hardcover | 9783319661063 |
Publisher | Springer |
Publication dates | |
Online | 21 Aug 2017 |
29 Sep 2017 | |
Publication process dates | |
Deposited | 20 Jun 2017 |
Accepted | 04 Jun 2017 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-66107-0_16 |
Additional information | Cite this paper as: |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-319-66107-0_16 |
Language | English |
Book title | Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil September 26-29, 2017, Proceedings |
https://repository.mdx.ac.uk/item/870wq
Download files
20
total views10
total downloads1
views this month0
downloads this month