Sign in
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types.
Luca Padovani
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