Login / Signup
A Completeness Theorem for Recursively Defined Types.
Mario Coppo
Published in:
ICALP (1985)
Keyphrases
</>
data structure
data analysis
high level
von neumann
data sets
information systems
website
image segmentation