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:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: