scientific article; zbMATH DE number 1393359
From MaRDI portal
Publication:4936346
zbMATH Open0943.68109MaRDI QIDQ4936346FDOQ4936346
Authors: Masahito Hasegawa 
Publication date: 26 January 2000
Title of this publication is not available (Why is that?)
Recommendations
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)
Cited In (26)
- Addressed term rewriting systems: syntax, semantics, and pragmatics (extended abstract)
- Initial Algebra Semantics for Cyclic Sharing Structures
- Semantics of value recursion for Monadic Input/Output
- Computation by interaction for space-bounded functional programming
- Title not available (Why is that?)
- The uniformity principle on traced monoidal categories
- Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot
- Parametrized fixed points and their applications to session types
- The game semantics of game theory
- Infinite trace equivalence
- Title not available (Why is that?)
- Semantics for a quantum programming language by operator algebras
- Abstract tensor systems as monoidal categories
- Attribute Grammars and Categorical Semantics
- Coalgebraic monads
- Monoidal streams for dataflow programming
- Two applications of analytic functors
- Feedback, trace and fixed-point semantics
- A quantum double construction in Rel.
- Title not available (Why is that?)
- Traces for coalgebraic components
- Traced Premonoidal Categories
- Resource operators for \(\lambda\)-calculus
- Bialgebras in Rel
- Elgot theories: a new perspective on the equational properties of iteration
- A practical type theory for symmetric monoidal categories
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)
