Accueil
  • Revues
  • Séminaires
  • Congrès
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
  • Revues
  • Séminaires
  • Congrès
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
Parcourir les volumes
  • Tout
  • Auteur
  • Titre
  • Bibliographie
  • Plein texte
Entre et
  • Tout
  • Auteur
  • Titre
  • Date
  • Bibliographie
  • Mots-clés
  • Plein texte

Liste des citations dans Numdam pour : Catégories lax-localement-cartésiennes et catégories localement cartésiennes : un exemple de suffisante complétude connexe de sémantiques initiales

Diagrammes, Tome 25 (1991), pp. 1-155

Oriat, C.  

Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Partie III
Diagrammes, Tome 41 (1999), pp. 3-76

Oriat, C.  

Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Partie II
Diagrammes, Tome 40 (1998), pp. 3-71

Oriat, C.  

Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes
Diagrammes, Tome 39 (1998), pp. 3-120

Kelly, G. M. ; Le Creurer, I. J.

On the monadicity over graphs of categories with limits
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 38 (1997) no. 3, pp. 179-191

Lair, Christian ;   Coppey, Laurent  

À la mémoire de Florence Cury (1952-95)
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 36 (1995) no. 4, pp. 371-381

Cury, F.  

La suffisante complétude connexe. Section C : exemples
Diagrammes, Tome 32 (1994), Exposé no. 2, 84 p.

Cury, F.  

La suffisante complétude connexe. Section B : théorie générale
Diagrammes, Tome 31 (1994), Exposé no. 1, 80 p.

Cury, F.  

La suffisante complétude connexe. Section A : amphi-syntaxes, amphi-algèbres et sesqui-algèbres
Diagrammes, Tome 30 (1993), Exposé no. 1, 122 p.
  • À propos
  • Aide
  • Mentions légales
  • Contact

Développé par

Soutenu par

 

Partenaire de