Login / Signup

A framework for the recursive definition of data structures.

Jean-Louis Giavitto
Published in: PPDP (2000)
Keyphrases