scientific article
From MaRDI portal
Publication:3951524
zbMath0489.68015MaRDI QIDQ3951524
Jan A. Bergstra, Theo P. van der Weide
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticsalgebraic structureimplementability and operational equivalence of algebraic datatypes
This page was built for publication: