A semantic account of metric preservation, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, pp.545-556, 2017. ,
,
Extensions of Functors From Set to V-cat, Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, pp.17-34, 2015. ,
Behavioral Metrics via Functor Lifting, Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS, pp.403-415, 2014. ,
,
Handbook of Categorical Algebra 2, Encyclopedia of Mathematics and Its Applications, vol.51, 1994. ,
A behavioural pseudometric for probabilistic transition systems, Theoretical Computer Science, vol.331, issue.1, pp.115-142, 2005. ,
Generalized Bisimulation Metrics, Proceedings of the 25th International Conference on Concurrency Theory, pp.32-46, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01011471
The Metric Analogue of Weak Bisimulation for Probabilistic Processes, Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS, pp.413-422, 2002. ,
Approximation Metrics for Discrete and Continuous Systems, IEEE Transactions on Automatic Control, vol.52, issue.5, pp.782-798, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00171714
,
Approximate Bisimulation: A Bridge Between Computer Science and Control Theory, European Journal of Control, vol.17, issue.5-6, pp.568-578, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00765660
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems, IEEE Transactions on Automatic Control, vol.55, issue.1, pp.116-126, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00306990
Coinductive Predicates and Final Sequences in a Fibration, Electronic Notes in Theoretical Computer Science, vol.298, pp.197-214, 2013. ,
,
Structural Induction and Coinduction in a Fibrational Setting, Information and Computation, vol.145, issue.2, pp.107-152, 1998. ,
,
Topological functors, General Topology and its Applications, vol.4, issue.2, pp.125-142, 1974. ,
,
Categorical Logic and Type Theory, Studies in Logic and the Foundations of Mathematics, vol.141, 1999. ,
Codensity Liftings of Monads, Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). pp, pp.156-170, 2015. ,
,
Basic Concepts of Enriched Category Theory, Lecture Notes in Mathematics, vol.64, 1982. ,
Topological categories with many symmetric monoidal closed structures, Bulletin of the Australian Mathematical Society, vol.31, issue.1, pp.41-59, 1985. ,
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems, 2017. ,
Categories for the Working Mathematician, Graduate Texts in Mathematics, vol.5, 1998. ,
Universal coalgebra: a theory of systems, Theoretical Computer Science, vol.249, issue.1, pp.56-62, 2000. ,
Tensor products in the category of topological spaces, Commentationes Mathematicae Universitatis Carolinae, vol.20, issue.3, pp.431-446, 1979. ,