Skip to main navigation
Mathématiques vivantes
Cours
L1/SUP
L2/SPE
L3
Agrégation
Exercices
L1/SUP
L2/SPE
Agrégation
Thèmes
Algèbre
Analyse
Probabilités
Forum
Lexique
À propos
Contact
Se connecter
S'inscrire
Sommaire
Cours
L1/SUP
L2/SPE
L3
Agrégation
Exercices
L1/SUP
L2/SPE
Agrégation
Thèmes
Algèbre
Analyse
Probabilités
Forum
Lexique
Se connecter
S'inscrire
Newsletter
Liens utiles
À propos
Contact
La théorie des catégories aux programmeurs... — Les-mathematiques.net
The most powerful custom community solution in the world
toggle menu
Les-mathematiques.net
Les-mathematiques.net
Catégories
Discussions
Connexion
·
S'inscrire
Connexion
·
S'inscrire
Catégories
Discussions
Activité
Connexion
·
S'inscrire
×
Accueil
›
Logiciels pour les mathématiques
La théorie des catégories aux programmeurs...
Romyna
October 2018
dans
Logiciels pour les mathématiques
La théorie des catégories aux programmeurs, par Bartosz Milewski, v1.0.0, October 2018.
Réponses
Romyna
October 2018
Une vue catégorique des effets de calcul présentée par Emily Riehl, juillet 2017
Romyna
October 2018
[size=large]
Des liaisons existent entre la théorie des catégories et une programmation fonctionnelle :
[/size]
[size=large]
- le cours d'Alain Prouté, ex-MCF émérite à Paris VII Denis Diderot est ainsi provisionné.
[/size]
De l'humour en annexe :
AitJoseph
October 2018
Merci encore et encore Romyna
Romyna
November 2018
[size=x-large]
La théorie des catégories pour la science informatique, 2016.
[/size]
[size=x-large]La théorie des catégories du Carnegie Mellon University, 2006[/size]
Romyna
December 2018
La théorie des catégories pour les programmeurs.
Romyna
December 2018
Une bibliographie en guide récapitulatif partiel.
Connectez-vous
ou
Inscrivez-vous
pour répondre.
top
Lettre d'information
Restez au courant de l'actualité de
Les-Mathematiques.net
en vous abonnant à notre lettre d'information.
;
Email
The subscriber's email address.
Success message!
Réponses
[size=large]- le cours d'Alain Prouté, ex-MCF émérite à Paris VII Denis Diderot est ainsi provisionné.[/size]
De l'humour en annexe :
[size=x-large]La théorie des catégories du Carnegie Mellon University, 2006[/size]