Explicit Universes for the Calculus of Constructions
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
The Calculus of algebraic Constructions
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Handbook of automated reasoning
A theory of mixin modules: basic and derived operators
Mathematical Structures in Computer Science
Journal of Functional Programming
Rewriting Computation and Proof
Hi-index | 0.00 |