Finitary Type Theories With and Without Contexts.

Philipp G. Haselwarter Andrej Bauer

Published in: J. Autom. Reason. (2023)

Keyphrases

finite state
real time
databases
information technology
special case
domain theory
neural network
information retrieval
multi agent
mobile robot
probabilistic model