Liste des citations dans Numdam pour : μ-bicomplete categories and parity games

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 36 (2002), p. 195-227 / Harvested from Numdam

Clairambault, Pierre

Strong functors and interleaving fixpoints in game semantics
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 47 (2013), p. 25-68 / Harvested from Numdam