Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types.

Published in: FoSSaCS (2014)

Keyphrases

three dimensional
multiple types
image reconstruction
closed form
reduced order
high resolution
reconstructed image
linear systems
shape recovery
type checking
medical images
reconstruction process