Login / Signup

An Algebraic View on Recursive Types.

Michael Marz
Published in: Appl. Categorical Struct. (1999)
Keyphrases