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.
Type de document :
Rapport
[Intern report] 99-R-035 || bonfante99a, 1999, 15 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00098791
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:38:05
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 11:43:05

Fichiers

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

86

Téléchargements de fichiers

33