Practical foundations Laisser une réponse Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types https://ncatlab.org/nlab/show/Practical+Foundations+of+Mathematics https://ncatlab.org/nlab/show/Practical+Foundations+for+Programming+Languages Voir l’article original Partager :TwitterFacebookJ’aime chargement… Articles similaires