scientific article
From MaRDI portal
Publication:2718773
zbMath0963.68028MaRDI QIDQ2718773
Publication date: 9 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Special categories (18B99)
Related Items (9)
Folding over neural networks ⋮ Classical (co)recursion: Mechanics ⋮ Fantastic morphisms and where to find them. A guide to recursion schemes ⋮ Unifying structured recursion schemes ⋮ The Expression Lemma ⋮ A Duality of Sorts ⋮ When is a function a fold or an unfold? ⋮ Ramified Corecurrence and Logspace ⋮ Undecidability of equality for codata types
This page was built for publication:
