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

Dominik Kirst Gert 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