Should your specification language be typed
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Syntax and Semantics of Java
Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Disjoint Sums over Type Classes in HOL
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Mechanized Operational Semantics via (Co)Induction
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Rewriting Logic as a Metalogical Framework
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Final coalgebras as greatest fixed points in ZF set theory
Mathematical Structures in Computer Science
Reflective metalogical frameworks
ACM Transactions on Computational Logic (TOCL)
A general mathematics of names
Information and Computation
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
Reasoning with hypothetical judgments and open terms in hybrid
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Mechanised computability theory
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Journal of Automated Reasoning
Partial recursive functions in higher-order logic
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Hi-index | 0.01 |