Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 7258341b authored by Samuel Mimram's avatar Samuel Mimram
Browse files

Espaces.

parent da4f840a
Branches
No related tags found
Loading
Pipeline #1185983 passed
...@@ -38,11 +38,9 @@ ...@@ -38,11 +38,9 @@
[1] T. Colcombet, S. v. Gool, R. Morvan, "First-order separation over [1] T. Colcombet, S. v. Gool, R. Morvan, "First-order separation over
countable ordinals", Foundations of software science and computation countable ordinals", Foundations of software science and computation
structures (FoSSaCS), 2022. structures (FoSSaCS), 2022.\
[2] M. Gehrke and S. v. Gool, Topological Duality for Distributive [2] M. Gehrke and S. v. Gool, Topological Duality for Distributive
Lattices: Theory and Applications, Cambridge University Press, 296pp. 2024. Lattices: Theory and Applications, Cambridge University Press, 296pp. 2024.\
[3] S. v. Gool, P.-A. Melliès and V. Moreau, Profinite lambda-terms and [3] S. v. Gool, P.-A. Melliès and V. Moreau, Profinite lambda-terms and
parametricity, Mathematical Foundations of Programming Semantics (MFPS), parametricity, Mathematical Foundations of Programming Semantics (MFPS),
2023. 2023.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment