There are 1 Results with the keyword : "Coinduction"
Colloquium Jacques Morgenstern
Alexandra Silva, currently Professor of Algebra, Semantics and Computation at University College London will present, on 16 may 2019 "CoNeCo: Concurrency, Networks and Coinduction" on the next colloquium J. Morgenstern.
Place : Inria, Sophia Antipolis, Amphithéâtre, Kahn Building
Guest(s) : Alexandra Silva (University College London)
- Klenne Algebra
- CoNeCo project
- Alexandra Silva
- University College London
- Sophia Antipolis