Daily Archives: November 28, 2017

#HoTT Book homotopy type theory

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
La théorie homotopique des types (HoTT) est l’interprétation de la théorie des types à partir de la perspective de la…

Posted in Philosophie

« Le deuxième souffle » en replay

http://www.tv-replay.fr/redirection/27-11-17/le-deuxieme-souffle-arte-12698018.html Valable sept jours ? Un pur chef d’oeuvre… Melville est vraiment le plus grand.. à comparer avec le film d’Alain Corneau plus récent…

Posted in Cinéma | Tagged