112
click to vote
FOSSACS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we present a theorem for defining fixed-points in categories of sheaves. This result gives a unifying and general account of most techniques used in computer science ...