Universal Algebra in Type Theory
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Proof-assistants using dependent type systems
Handbook of automated reasoning
Journal of Functional Programming
Two-dimensional models of type theory
Mathematical Structures in Computer Science
Hi-index | 0.00 |