Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy.

Jean-Yves Girard Jacqueline Vauzeilles

Published in: J. Symb. Log. (1984)

Keyphrases

user defined
machine learning
mobile robot
neural network
database
multi agent
object oriented
modeling language
hierarchically organized