Semantics of Intensional Type Theory extended with Decidable Equational Theories.

Qian Wang Bruno Barras

Published in: CSL (2013)

Keyphrases

equational theories
function symbols
logic programming
logic programs
theorem proving
database
first order logic
formal semantics
speech acts
proof theory
databases
nonmonotonic reasoning
reasoning tasks
model theoretic