A syntactic account of singleton types via hereditary substitution.

Published in: LFMTP (2009)

Keyphrases

natural language
neural network
database systems
data mining
artificial intelligence
information technology
multiple types