Sites bien structurés
Auteur : Elena SENDROIU
Editeur : PRESSES ACADEMIQUES FRANCOPHONES
Année : 09/2018Partie 1 fournit des procédures de calcul/vérification de limites et colimites d'ontologies, modélise des données en langage interne d'un topos (la sémantique du langage interne est exprimée dans un contexte informatique), démontre que tout calcul logique/arithmétique est une flèche d'un ...
[lire la quatrième du livre Topos, un modèle pour l'informatique]