Login / Signup
Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo Theory.
Gabriel Hondet
Frédéric Blanqui
Published in:
CoRR (2021)
Keyphrases
</>
computer algebra
encoding scheme
theorem prover
theorem proving
theoretical basis
automated theorem proving
proof theoretic
database
probabilistic model
theoretical framework
first order logic
belief networks
general theory
natural deduction
proof theory
sequent calculus