Univalent Semantics of Constructive Type Theories.

Vladimir Voevodsky

Published in: CPP (2011)

Keyphrases

formal semantics
neural network
database
high level
logic programming
databases
multi agent systems
modal operators
proof theory