Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory.

William M. Farmer Dennis Y. Zvigelsky

Published in: CoRR (2023)

Keyphrases

theoretical framework
design theory
neural network
computational model
theoretical foundation
databases
information systems
bayesian networks
probability theory
cognitive psychology