Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;C. Fournet,1996
2. Cardelli, L., Gordon, A.D.: Mobile ambients. Theoretical Computer Science 240, 177–213 (2000)
3. Löf, M.: On the meanings of the logical constants and the justifications of the logical laws. Technical Report 2, University of Siena (1985)
4. Pfenning, F.: Logical frameworks. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 977–1061. Elsevier Science/ MIT Press (2001)
5. Pfenning, F., Davies, R.: A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science 11, 511–540 (2001)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Competitive parallelism: getting your priorities right;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. Judgmental subtyping systems with intersection types and modal types;Acta Informatica;2013-10-08
4. A Seligman-Style Tableau System;Logic for Programming, Artificial Intelligence, and Reasoning;2013
5. Step-Indexed Normalization for a Language with General Recursion;Electronic Proceedings in Theoretical Computer Science;2012-02-11