Title | Citations | PageRank | Year |
---|---|---|---|
Some Axioms for Mathematics. | 0 | 0.34 | 2021 |
Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo Theory. | 0 | 0.34 | 2020 |
The New Rewriting Engine of Dedukti (System Description). | 0 | 0.34 | 2020 |
Type Safety of Rewrite Rules in Dependent Types. | 1 | 0.35 | 2020 |
Higher-order dependency pairs. | 0 | 0.34 | 2018 |
A point on fixpoints in posets. | 0 | 0.34 | 2015 |