Models and Termination of Proof Reduction in the lambda Pi-Calculus Modulo Theory.

Published in: ICALP (2017)

Keyphrases

complex systems
computational models
mathematical models
knowledge base
database
prior knowledge
data model
experimental data
mathematical framework
computer algebra
proof theoretic