Definability of Total Objects in PCF and Related Calculi.

Published in: TLCA (2001)

Keyphrases

neural network
closely related
viewpoint
fixed point
d objects
object oriented
attribute values
classification method
object model
target object
digital objects