A framework for defining logics
Journal of the ACM (JACM)
Mechanizing common knowledge logic using COQ
Annals of Mathematics and Artificial Intelligence
Mechanizing metatheory in a logical framework
Journal of Functional Programming
Witnessing Purity, Constancy and Mutability
APLAS '09 Proceedings of the 7th Asian Symposium on Programming Languages and Systems
Higher-order representation of substructural logics
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
| Hi-index | 0.00 |