A | |
---|---|
[AN01] | André Arnold et
Damian Niwiński.
Complete lattices and fixed-point theorems.
In Rudiments of μ-calculus,
Studies in Logic and the Foundations of Mathematics 146, pages 1-39. North-Holland, 2001.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1