Constructing orders by means of inductive definitions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1999

Constructing orders by means of inductive definitions

Abstract

We present a class of algebraic theories that are enriched over a novel symmetrical monoidal closed structure on the category of graphs, whose free models are posets that are equipped with an induction principle, which is easily formalized in type theory. We give examples.
Fichier principal
Vignette du fichier
99-R-035.pdf (278.22 Ko) Télécharger le fichier

Dates and versions

inria-00098791 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00098791 , version 1

Cite

Guillaume Bonfante, François Lamarche. Constructing orders by means of inductive definitions. [Intern report] 99-R-035 || bonfante99a, 1999, 15 p. ⟨inria-00098791⟩
54 View
87 Download

Share

Gmail Facebook X LinkedIn More