ACM Transactions on Programming Languages and Systems (TOPLAS)
Extended projection—new method to extract efficient programs from constructive proofs
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Implementing first order logic in Modula-2 using an intuitionistic approach
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Communications of the ACM
Fast Tactic-Based Theorem Proving
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
VERking in constructive set theory
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.02 |