Constructing orders by means of inductive definitions

Guillaume Bonfante 1 François Lamarche 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00098791
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:38:05 AM
Last modification on : Thursday, January 11, 2018 - 6:19:48 AM
Long-term archiving on : Friday, November 25, 2016 - 11:43:05 AM

Identifiers

  • HAL Id : inria-00098791, version 1

Collections

Citation

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

Share

Metrics

Record views

99

Files downloads

56