Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. S. Artemov, “Operational Modal Logic,” Tech. Rep. MSI 95-29, Cornell University, December 1995 http://www.cs.cornell.edu/Info/People/artemov/MSI95-29.ps
2. S. Artemov, “Uniform provability realization of intuitionistic logic, modality and lambda-terms”, Electronic Notes on Theoretical Computer Science, vol. 23, No. 1. 1999 http://www.elsevier.nl/entcs
3. S. Artemov, “Explicit provability and constructive semantics”, The Bulletin for Symbolic Logic, v.7, No. 1, pp. 1–36, 2001 http://www.cs.cornell.edu/Info/People/artemov/BSL.ps .
4. H. Barendregt, “Lambda calculi with types”. In Handbook of Logic in Computer Science, vol.2, Abramsky, Gabbay, and Maibaum, eds., Oxford University Press, pp. 118–309, 1992
5. R. Constable, “Types in logic, mathematics and programming”. In Handbook in Proof Theory, S. Buss, ed., Elsevier, pp. 683–786, 1998
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献