Login / Signup

Two-level type theory and applications - ERRATUM.

Danil AnnenkovPaolo CapriottiNicolai KrausChristian Sattler
Published in: Math. Struct. Comput. Sci. (2024)
Keyphrases
  • formal theory
  • general theory
  • relational databases
  • theoretical framework
  • decision theory
  • database
  • information systems
  • data model
  • hidden markov models
  • theoretical basis