Mot de passe oublié ?

Blogs sur: Theorie Des Types

Blog vedette

Post-doctorat en langages de programmation

yoric wrote 1 year ago: L’entreprise MLState et l’équipe SDS (Sécurité et Distribution des Systèmes, équipe du Laborat … more →

Mots-clefs : En Français | in French, Enseignement, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, algèbre réduite, algèbres de processus, analyse statique


Tags connexes
All →

Suivre cette étiquette via RSS