Encoding FIX in Object Calculi
From MaRDI portal
DOI10.1051/ITA:2000104zbMATH Open0971.68098OpenAlexW2073134577MaRDI QIDQ4494479FDOQ4494479
Authors: Roy L. Crole
Publication date: 30 October 2001
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/221978
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Notions of computation and monads
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
- Title not available (Why is that?)
Cited In (4)
This page was built for publication: Encoding FIX in Object Calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4494479)