A Simple Type Theory with Partial Functions and Subtypes.

William M. Farmer

Published in: Ann. Pure Appl. Log. (1993)

Keyphrases

theoretical framework
neural network
simple examples
database
data sets
knowledge base
database systems
computer science
computational model
theoretical basis
von neumann
difference equations