Uniform Strong Normalization for Multi-discipline Calculi.

Paul Downen Philip Johnson-Freyd Zena M. Ariola

Published in: WRLA@ETAPS (2018)

Keyphrases

information systems
preprocessing
computer science
machine learning
artificial intelligence
database
real time
databases
information retrieval
computer vision
clustering algorithm