The Lazy Lambda Calculus, pp.65-117, 1990. ,
Domain Theory, Handbook of Logic in Computer Science, pp.1-168, 1994. ,
Metric Interpretations of Infinite Trees and Semantics of non Deterministic Recursive Programs, Theor. Comput. Sci, vol.11, pp.181-205, 1980. ,
DOI : 10.1016/0304-3975(80)90045-6
URL : https://doi.org/10.1016/0304-3975(80)90045-6
Relational algebras, Lect. Notes Math, vol.137, pp.39-55, 1970. ,
Wasserstein metric and subordination, 2008. ,
On Probabilistic Applicative Bisimulation and Call-by-Value ?-Calculi, Proc. of ESOP, pp.209-228, 2014. ,
Metric Reasoning about ?-Terms: The Affine Case, Proc. of LICS 2015, pp.633-644, 2015. ,
Metric Reasoning About ?-Terms: The General Case, Proc. of ESOP 2017, pp.341-367, 2017. ,
Effectful applicative bisimilarity: Monads, relators, and Howe's method, Proc. of LICS 2017, pp.1-12, 2017. ,
DOI : 10.1109/lics.2017.8005117
URL : https://hal.inria.fr/hal-01636365/file/lics2017HAL.pdf
On coinductive equivalences for higher-order probabilistic functional programs, Proc. of POPL, pp.297-308, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01091573
Introduction to lattices and order, 1990. ,
DOI : 10.1017/cbo9780511809088
A semantic account of metric preservation, Proc. of POPL 2017, pp.545-556, 2017. ,
Denotational Semantics of Concurrency, STOC, pp.153-158, 1982. ,
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems, Proc. of SETTA 2016, pp.67-84, 2016. ,
DOI : 10.1007/978-3-319-47677-3_5
A metric model of PCF, Workshop on Realizability Semantics and Applications, 1999. ,
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Long Version, 2018. ,
DOI : 10.1145/3209108.3209149
Compositional bisimulation metric reasoning with Probabilistic Process Calculi, LMCS, vol.12, p.4, 2016. ,
DOI : 10.1007/978-3-662-46678-0_15
URL : http://www.cassting-project.eu/wp-content/uploads/GLT-fossacs15.pdf
Bounded Linear Logic: A Modular Approach to Polynomial-Time Computability, Theor. Comput. Sci, vol.97, pp.1-66, 1992. ,
DOI : 10.1016/0304-3975(92)90386-t
URL : https://doi.org/10.1016/0304-3975(92)90386-t
Monoidal Topology. A Categorical Approach to Order, Metric, and Topology, Number 153 in Encyclopedia of Mathematics and its Applications, 2014. ,
Proving Congruence of Bisimulation in Functional Programming Languages, Inf. Comput, vol.124, pp.103-112, 1996. ,
Strong functors and monoidal monads, Archiv der Mathematik, vol.23, pp.113-120, 1972. ,
Discrete infinite transportation problems, Discrete Applied Mathematics, vol.58, pp.19-33, 1995. ,
Relation lifting, a survey, J. Log. Algebr. Meth. Program, vol.85, pp.475-499, 2016. ,
Relational Reasoning about Functions and Nondeterminism, 1998. ,
Metric spaces, generalized logic, and closed categories, Rend. Sem. Mat. Fis. Milano, vol.43, pp.135-166, 1973. ,
Modelling Environments in Call-byValue Programming Languages, Inf. Comput, vol.185, pp.182-210, 2003. ,
Categories for the Working Mathematician, 1971. ,
Lambda Calculus Models of Programming Languages, 1969. ,
Howe's Method for Higher-Order Languages, Advanced Topics in, pp.197-232, 2011. ,
Adequacy for Algebraic Effects, Proc. of FOSSACS, pp.1-24, 2001. ,
Distance makes the types grow stronger: a calculus for differential privacy, Proc. of ICFP 2010, pp.157-168, 2010. ,
Types, Abstraction and Parametric Polymorphism, IFIP Congress, pp.513-523, 1983. ,
, Elements of Generalized Ultrametric Domain Theory. Theor. Comput. Sci, vol.170, pp.349-381, 1996.
Environmental bisimulations for higher-order languages, ACM Trans. Program. Lang. Syst, vol.33, p.69, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-01337665
Behavioural equivalence via modalities for algebraic effects, Proc. of ESOP, 2018. ,
Counterexamples in Topology, 1995. ,
Simulation and fixpoint semantics, 1996. ,
Optimal Transport: Old and New, 2008. ,