Encoding FIX in Object Calculi

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

• 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

zbMATH Keywords

FIX type theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

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)

• Title not available (Why is that?)
• 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)