## Complete Axioms for Categorical Fixed-point Operators (2000)

### Cached

### Download Links

- [www.dcs.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- [homepages.inf.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
Alex Simpson
,
Gordon Plotkin

Venue: | In Proceedings of 15th Annual Symposium on Logic in Computer Science |

Citations: | 29 - 6 self |