Sign in

Finitary Type Theories With and Without Contexts.

Philipp G. HaselwarterAndrej 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