Publication:4936346
From MaRDI portal
zbMath0943.68109MaRDI QIDQ4936346
Publication date: 26 January 2000
68N18: Functional programming and lambda calculus
68Q55: Semantics in the theory of computing
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
Traced Premonoidal Categories, Semantics of value recursion for Monadic Input/Output, Feedback, trace and fixed-point semantics, Two applications of analytic functors, Resource operators for \(\lambda\)-calculus, Infinite trace equivalence, A quantum double construction in Rel, Traces for coalgebraic components, Elgot theories: a new perspective on the equational properties of iteration, Attribute Grammars and Categorical Semantics, Initial Algebra Semantics for Cyclic Sharing Structures