scientific article; zbMATH DE number 1393359

MaRDI QIDQ4936346zbMATH OpenFDO

Authors Masahito Hasegawa

Publication date 26 January 2000

zbMATH Keywords

shared resourcessharing graphsacyclic sharing theoriescyclic lambda calculi

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2185716
• scientific article; zbMATH DE number 1088036
• Initial Algebra Semantics for Cyclic Sharing Structures
• A general theory of sharing graphs
• Rewriting on cyclic structures: Equivalence between the operational and the categorical description

Cited in

(26)

• Feedback, trace and fixed-point semantics
• A quantum double construction in Rel.
• Semantics of value recursion for Monadic Input/Output
• Abstract tensor systems as monoidal categories
• Computation by interaction for space-bounded functional programming
• The game semantics of game theory
• Traces for coalgebraic components
• Infinite trace equivalence
• Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot
• Monoidal streams for dataflow programming
• Parametrized fixed points and their applications to session types
• A practical type theory for symmetric monoidal categories
• Attribute Grammars and Categorical Semantics
• Two applications of analytic functors
• Resource operators for \(\lambda\)-calculus
• scientific article; zbMATH DE number 2185716 (Why is no real title available?)
• scientific article; zbMATH DE number 7205326 (Why is no real title available?)
• Bialgebras in Rel
• Traced Premonoidal Categories
• Addressed term rewriting systems: syntax, semantics, and pragmatics (extended abstract)
• The uniformity principle on traced monoidal categories
• Coalgebraic monads
• Initial Algebra Semantics for Cyclic Sharing Structures
• scientific article; zbMATH DE number 7450001 (Why is no real title available?)
• Semantics for a quantum programming language by operator algebras
• Elgot theories: a new perspective on the equational properties of iteration

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