Login / Signup

Categoricity Results for Second-Order ZF in Dependent Type Theory.

Dominik KirstGert Smolka
Published in: ITP (2017)
Keyphrases
  • theoretical framework
  • higher order
  • theoretical basis
  • real time
  • formal theory
  • database
  • data sets
  • information systems
  • decision making
  • face recognition
  • expert systems
  • computational model
  • information theory