A preliminary univalent formalization of the p-adic numbers

Álvaro Pelayo Vladimir Voevodsky Michael A. Warren

Published in: CoRR (2013)

Keyphrases

operational semantics
database
databases
artificial intelligence
information systems
formal model
data mining
multimedia
learning environment
expert systems
domain specific
formal logic