scientific article
From MaRDI portal
Publication:2778824
zbMath0981.68027MaRDI QIDQ2778824
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2044/20440217
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50)
Related Items (2)
Conflicting accounts of \(\lambda\)-definability ⋮ Iteration and coiteration schemes for higher-order and nested datatypes
This page was built for publication:
