scientific article; zbMATH DE number 3880134

zbMATH Open0552.68066MaRDI QIDQ3345797FDOQ3345797

Authors: Tim Maibaum 

Publication date: 1982

Title of this publication is not available (Why is that?)

Recommendations

• IO vs OI in higher-order recursion schemes
• The IO and OI hierarchies revisited
• One-sided recursions
• Fixpoint semantics and simulation
• The IO and OI hierarchies revisited

zbMATH Keywords

evaluationalgebraic semanticsmutually recursive polyadic recursive definitions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cited In (3)

• The ins and outs of Clean I/O
• On what exactly goes on when software is developed step-by-step. II: The sequel
• IO vs OI in higher-order recursion schemes

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3345797)