![Topos, un modèle pour l'informatique](https://www.unitheque.com/Intermediaire2/CouvertureT/O/9783838171999-topos--modele-pour-informatique.jpg)
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]