scientific article
From MaRDI portal
Publication:3461924
zbMath1329.68305MaRDI QIDQ3461924
Publication date: 18 January 2016
Full work available at URL: http://archive.numdam.org/article/DIA_1999__42__3_0.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65) Sketches and generalizations (18C30)
Uses Software
This page was built for publication:
