scientific article; zbMATH DE number 1552770
From MaRDI portal
Publication:4524982
zbMath0966.68516MaRDI QIDQ4524982
Publication date: 16 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (8)
A Categorical Setting for Lower Complexity ⋮ Some properties of coalgebras and their rôle in computer science ⋮ Safe recursion revisited. I: Categorical semantics for lower complexity ⋮ Unnamed Item ⋮ When is a function a fold or an unfold? ⋮ Some Remarks on Type Systems for Course-of-value Recursion ⋮ Executable Relational Specifications of Polymorphic Type Systems Using Prolog ⋮ Two extensions of system F with (co)iteration and primitive (co)recursion principles
This page was built for publication:
