On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory.
Andreas AbelThierry CoquandPeter DybjerPublished in: FLOPS (2008)
Keyphrases
- linear logic
- theorem prover
- computer algebra
- natural deduction
- theoretical foundation
- linear algebra
- theoretical basis
- proof theoretic
- algebraic geometry
- theorem proving
- higher order
- machine learning
- data sets
- fuzzy set theory
- multiple types
- theoretical framework
- computational model
- logic programming
- algebraic structure
- reinforcement learning