scientific article

From MaRDI portal

Publication:3729992

Jump to:navigation, search

zbMath0596.68010MaRDI QIDQ3729992

No author found.

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

functional programming initial algebras homogeneous algebras algebraic data types heterogeneous algebras term algebras iterative functions algebraic data systems Heterogeneous absolutely free algebras primitive recursive scheme reducing recursion to iteration second order typed lambda-calculus subrecursive function theory

Mathematics Subject Classification ID

Data structures (68P05) General topics in the theory of software (68N01)

Related Items (1)

On list primitive recursion and the complexity of computing inf

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3729992&oldid=17242267"