Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

Strong functors and interleaving fixpoints in game semantics

Pierre Clairambault

RAIRO-Theor. Inf. Appl., 47 1 (2013) 25-68

Published online: 2013-01-10

DOI: https://doi.org/10.1051/ita/2012028

This article has been cited by the following article(s):

Gianluca Curzi and Anupam Das
1 (2023)
https://doi.org/10.1109/LICS56636.2023.10175772

Thomas Ehrhard and Farzad Jafarrahmani
1 (2021)
https://doi.org/10.1109/LICS52264.2021.9470664

Fixed-point Elimination in the Intuitionistic Propositional Calculus

Silvio Ghilardi, Maria João Gouveia and Luigi Santocanale
ACM Transactions on Computational Logic 21 (1) 1 (2020)
https://doi.org/10.1145/3359669

Foundations of Software Science and Computation Structures

Silvio Ghilardi, Maria João Gouveia and Luigi Santocanale
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures 9634 126 (2016)
https://doi.org/10.1007/978-3-662-49630-5_8