Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Jan A. Bergstra, Jan Willem Klop. Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras. In Mogens Nielsen, Erik Meineche Schmidt, editors, Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings. Volume 140 of Lecture Notes in Computer Science, pages 23-34, Springer, 1982.

The following publications are possibly variants of this publication:

Initial Algebra Specifications for Parametrized Data TypesJan A. Bergstra, Jan Willem Klop. eik, 19(1/2):17-31, 1983.

Algebraic Specifications of Computable and Semicomputable Data TypesJan A. Bergstra, J. V. Tucker. TCS, 50:137-181, 1987.

runs on WebDSL