Sémantique catégorique des types : comprendre le système F
Pierre Argeron (1988)
Diagrammes
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: