Login / Signup
A Sound and Complete Projection for Global Types.
Dawit Legesse Tirore
Jesper Bengtson
Marco Carbone
Published in:
ITP (2023)
Keyphrases
</>
projection method
image processing
global information
search engine
database
multiresolution