Recursive Types Are not Conservative over F.

Published in: TLCA (1993)

Keyphrases

data sets
databases
control system
artificial intelligence
metadata
case study
three dimensional
face recognition
support vector
search space