A | |
---|---|
[AN01] | André Arnold and
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.
|
Search
Displayed 1 resultList of authors
- 1
- 1