Login / Signup
On strong normalization and type inference in the intersection type discipline.
Gérard Boudol
Published in:
Theor. Comput. Sci. (2008)
Keyphrases
</>
databases
database
information systems
image processing
decision trees
video sequences
natural language
data streams
data model
mobile robot