Passer vers le contenu
Colloquium Jacques Morgenstern
Sciences et Technologies de l'Information et de la Communication
    • English (en)English
    • Français (fr)Français
Passer vers le contenu
  • Accueil
  • Agenda
  • Conférences passées
  • Contact
  • Accès
Home Articles balisés "Sangiorgi"

Étiquette : Sangiorgi

Davide Sangiorgi – An Introduction to Coinduction and the Duality With Induction

13 nov. 2014 Induction is a pervasive tool in Computer Science and Mathematics for defining objects and for proving properties on them. Coinduction is the dual of induction, and as such it brings in tools for defining and reasoning on objects that are new and quite different from the tools…

Continue reading

  • Année

Fonctionne avec Nirvana & WordPress. Mentions légales & CGU & Politique de confidentialité & Cookies

Nous utilisons des cookies pour vous offrir la meilleure expérience sur notre site.

You can find out more about which cookies we are using or switch them off in .

Colloquium Jacques Morgenstern
Powered by  GDPR Cookie Compliance
Résumé de la politique de confidentialité

Ce site utilise des cookies afin que nous puissions vous fournir la meilleure expérience utilisateur possible. Les informations sur les cookies sont stockées dans votre navigateur et remplissent des fonctions telles que vous reconnaître lorsque vous revenez sur notre site Web et aider notre équipe à comprendre les sections du site que vous trouvez les plus intéressantes et utiles.

Cookies strictement nécessaires

Cette option doit être activée à tout moment afin que nous puissions enregistrer vos préférences pour les réglages de cookie.

Si vous désactivez ce cookie, nous ne pourrons pas enregistrer vos préférences. Cela signifie que chaque fois que vous visitez ce site, vous devrez activer ou désactiver à nouveau les cookies.