Login / Signup

On the recursive specification of data types.

Mitchell Wand
Published in: Category Theory Applied to Computation and Control (1974)
Keyphrases