![](/img/cover-not-exists.png)
New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
Roy L. Crole, Andrew M. PittsVolume:
98
Year:
1992
Language:
english
Pages:
40
DOI:
10.1016/0890-5401(92)90018-b
File:
PDF, 1.74 MB
english, 1992