Login / Signup

Algebraic Specifications of Computable and Semicomputable Data Types.

Jan A. BergstraJohn V. Tucker
Published in: Theor. Comput. Sci. (1987)
Keyphrases