Infinite Objects in Type Theory

N. P. Mendler Prakash Panangaden Robert L. Constable

Published in: LICS (1986)

Keyphrases

object model
moving objects
d objects
theoretical framework
data objects
neural network
multiple objects
object classes
theoretical foundation
spatial relationships
information theory
image processing
search engine
databases
digital objects
object models
general theory