scientific article; zbMATH DE number 1393359
From MaRDI portal
Publication:4936346
zbMath0943.68109MaRDI QIDQ4936346
Publication date: 26 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (21)
Computation by interaction for space-bounded functional programming ⋮ Semantics of value recursion for Monadic Input/Output ⋮ Feedback, trace and fixed-point semantics ⋮ Parametrized fixed points and their applications to session types ⋮ Bialgebras in Rel ⋮ A quantum double construction in Rel ⋮ Semantics for a quantum programming language by operator algebras ⋮ Resource operators for \(\lambda\)-calculus ⋮ A practical type theory for symmetric monoidal categories ⋮ Attribute Grammars and Categorical Semantics ⋮ Unnamed Item ⋮ Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot ⋮ Traces for coalgebraic components ⋮ Elgot theories: a new perspective on the equational properties of iteration ⋮ Infinite trace equivalence ⋮ Abstract Tensor Systems as Monoidal Categories ⋮ Two applications of analytic functors ⋮ Initial Algebra Semantics for Cyclic Sharing Structures ⋮ Traced Premonoidal Categories ⋮ Coalgebraic Monads ⋮ The Uniformity Principle on Traced Monoidal Categories
This page was built for publication:
