scientific article; zbMATH DE number 517046

MaRDI QIDQ4282574zbMATH OpenFDO

Authors Eugenio Moggi

Publication date 17 March 1994

zbMATH Keywords

denotational semanticsmonad transformer

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited in

(7)

• Unifying guarded and unguarded iteration
• Unguarded recursion on coinductive resumptions
• scientific article; zbMATH DE number 7080198 (Why is no real title available?)
• A semantics for hybrid iteration
• A metalanguage for guarded iteration
• Unguarded recursion on coinductive resumptions
• Shades of iteration: from Elgot to Kleene

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 Q4282574)