Existence de diagrammes localement libres
R. Guitart, C. Lair (1981)
Diagrammes
Similarity:
Displaying similar documents to “Extensions de théories de Lawvere. Thèse de doctorat de mathématiques”
Existence de diagrammes localement libres
Lax-co-limites structurées
C. Lair (1988)
Diagrammes
Similarity:
Sémantique catégorique des types : comprendre le système F
Pierre Argeron (1988)
Diagrammes
Similarity:
Diagrammes structurés de modèles
C. Lair (1987)
Diagrammes
Similarity:
Catégories qualifiables et catégories esquissables
C. Lair (1987)
Diagrammes
Similarity:
Dernier théorème de Fermat et groupes de classes dans certains corps quadratiques imaginaires
Paul Rivoire (1979)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity: