Author:
Artemov Sergei,Bonelli Eduardo
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Lecture Notes in Computer Science;J. Alt,2001
2. Artemov, S., Bonelli, E.: The intensional lambda calculus. Technical report (December 2006), http://www.lifia.info.unlp.edu.ar/~eduardo/lamIFull.pdf
3. Artemov, S.: Operational modal logic. Technical Report MSI 95-29, Cornell University (1995)
4. Artemov, S.: Proof realization of intuitionistic and modal logics. Technical Report MSI 96-06, Cornell University (1996)
5. Artemov, S.: Unified semantics of modality and λ-terms via proof polynomials. In: Algebras, Diagrams and Decisions in Language, Logic and Computation, pp. 89–118 (2001)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semirings of Evidence;Journal of Logic and Computation;2021-02-24
2. Semirings of Evidence;Lecture Notes in Computer Science;2020
3. Justification Logic;CAMB TRACT MATH;2019-04-25
4. Explicit Auditing;Theoretical Aspects of Computing – ICTAC 2018;2018
5. The first-order hypothetical logic of proofs;Journal of Logic and Computation;2016-01-30