Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles
Albert Burroni (1986)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Displaying similar documents to “Axiomatisation de la catégorie des catégories”
Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles
Théories de catégories
J. Penon (1979)
Diagrammes
Similarity:
Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Partie II
C. Oriat (1998)
Diagrammes
Similarity:
Condition syntaxique de triplabilité d'un foncteur algébrique esquissé
C. Lair (1979)
Diagrammes
Similarity:
Catégories de Peano et catégories algorithmiques, récursivité
L. Coppey (1984)
Diagrammes
Similarity:
Le groupe des métamorphoses d'une catégorie, un exemple
C. Léger (1989)
Diagrammes
Similarity:
Sur la caractérisation sémantique des catégories de structures
F. Mouen (1984)
Diagrammes
Similarity: