Introduction to higher order categorical logic
Introduction to higher order categorical logic
Neural Networks and Natural Intelligence
Neural Networks and Natural Intelligence
Automata, Languages, and Machines
Automata, Languages, and Machines
Automata, Languages, and Machines
Automata, Languages, and Machines
Logical Structure of Neurobiological Information Processing
Proceedings of the The First Great Lakes Computer Science Conference on Computing in the 90's
Hi-index | 0.98 |
This paper uses a very general theory of computation to develop a set of working hypotheses and an accompanying mathematical formalism that model the semantics and structure of cognitive processes. We can think of the brain as a modular system of neural networks, each producing a sequence of output states in response to input states furnished by others, and sometimes by the outside world. We use category theory to specify, and reason about, a model consisting of an appropriately connected set of functions.