Categorical Computability in Monoidal Computer: Programs as Diagrams.
Dusko PavlovicPublished in: CoRR (2022)
Keyphrases
- computer programs
- programming language
- categorical data
- expert systems
- turing test
- computer programming
- equational theories
- software agents
- attribute values
- human users
- graphical representation
- computer hardware
- general purpose
- object oriented
- numerical data
- computer software
- trading strategies
- numerical values
- machine learning