Proof-term synthesis on dependent-type systems via explicit substitutions
Theoretical Computer Science
Counting a Type's Principal Inhabitants
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Higher Order Unification 30 Years Later
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Higher-order unification and matching
Handbook of automated reasoning
Counting a Type's (Principal) Inhabitants
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
Testing an optimising compiler by generating random lambda terms
Proceedings of the 6th International Workshop on Automation of Software Test
Counting a Type's (Principal) Inhabitants
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
| Hi-index | 0.01 |