Higher-order theories
| dc.creator | Hirschowitz, Andre' | |
| dc.creator | Maggesi, Marco | |
| dc.date | 2007-04-22 | |
| dc.date | 2008-09-09 | |
| dc.date.accessioned | 2026-07-07T10:01:07Z | |
| dc.date.available | 2026-07-07T10:01:07Z | |
| dc.description | We extend our approach to abstract syntax (with binding constructions) through modules and linearity. First we give a new general definition of arity, yielding the companion notion of signature. Then we obtain a modularity result as requested by Ghani and Uustalu (2003): in our setting, merging two extensions of syntax corresponds to building an amalgamated sum. Finally we define a natural notion of equation concerning a signature and prove the existence of an initial semantics for a so-called representable signature equipped with a set of equations. | |
| dc.description | 12 pages | |
| dc.identifier | https://arxiv.org/abs/0704.2900 | |
| dc.identifier | http://arxiv.org/abs/0704.2900 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/168530 | |
| dc.subject | Logic in Computer Science | |
| dc.title | Higher-order theories | |
| dc.type | text |