Author:
Davies Rowan,Pfenning Frank
Publisher
Defense Technical Information Center
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reasonably programmable literal notation;Proceedings of the ACM on Programming Languages;2018-07-30
2. The first-order hypothetical logic of proofs;Journal of Logic and Computation;2016-01-30
3. On a Modal λ-Calculus for S4;Electronic Notes in Theoretical Computer Science;1995
4. Mechanically verifying the correctness of an offline partial evaluator;Programming Languages: Implementations, Logics and Programs;1995