Login / Signup
Retracing some paths in categorical semantics: From process-propositions-as-types to categorified real numbers and monoidal computers.
Dusko Pavlovic
Published in:
CoRR (2020)
Keyphrases
</>
real numbers
artificial intelligence
genetic algorithm
arithmetic operations
machine learning
decision making
process model