Sémantique catégorique des types : comprendre le système F
Pierre Argeron (1988)
Diagrammes
Similarity:
Displaying similar documents to “Sémantique catégorique des constructeurs de types d'ordre supérieur”
Sémantique catégorique des types : comprendre le système F
Trames et sémantiques catégoriques des systèmes de trames
C. Lair (1987)
Diagrammes
Similarity:
Diagrammes structurés de modèles
C. Lair (1987)
Diagrammes
Similarity:
Quelques aspects de la dualité entre logique et topologie
Pierre Ageron (1992)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Lax-co-limites structurées
C. Lair (1988)
Diagrammes
Similarity:
Axiomatisation de la catégorie des catégories
G. Blanc, M. R. Donnadieu (1976)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Catégories qualifiables et catégories esquissables
C. Lair (1987)
Diagrammes
Similarity: