Login / Signup

Algebraic Specifiability of Data Types with minimal Computable Parameters.

Pieter Hendrik Rodenburg
Published in: Theor. Comput. Sci. (1991)
Keyphrases