Skip to content
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Completeness for Identity-free Kleene Lattices
25 mars 2019
Amina Doumane
(Université de Varsovie)
TBA
Navigation de l’article
Continuous models of computation: computability, complexity, universality
On the semantics of higher-order probabilistic programs
