Encoding FIX in Object Calculi

DOI10.1051/ITA:2000104MaRDI QIDQ4494479zbMATH OpenOpenAlexFDO

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, https://semanticscholar.org/paper/76f7d0a6eabf72b5f537619817a6f82dd41a28cc

zbMATH Keywords

FIX type theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Publication:4934322
• Imperative object-based calculi in co-inductive type theories
• Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts
• Encoding an object calculus into interaction nets
• Computational adequacy of the FIX-logic

Cites work

• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 1231459 (Why is no real title available?)
• scientific article; zbMATH DE number 1241702 (Why is no real title available?)
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• scientific article; zbMATH DE number 591911 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
• Notions of computation and monads

Cited in

(4)

• scientific article; zbMATH DE number 1390057 (Why is no real title available?)
• Comparing object encodings.
• Computational adequacy of the FIX-logic
• Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts

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)