Author:
Avron Arnon,Honsell Furio,Mason Ian A.,Pollack Robert
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference53 articles.
1. AvronArnon, ?Simple consequence relations?, Information and Computation 92, 105?139 (1991).
2. AvronArnon, ?The semantics and proof theory of linear logic?, Theoretical Computer Science 57, 161?184 (1988).
3. Avron, Arnon, ?Modal logics in the Edinburgh LF?, in [4].
4. Avron, A., Harper, R., Honsell, F., Mason, I. and Plotkin, G. (Eds.), Workshop on General Logic-Edinburgh 1987. Technical Report, Laboratory for the Foundations of Computer Science, Edinburgh University (1988). ECS-LFCS-88-52.
5. Avron, A., Honsell, F. and I. Mason, ?An overview of the Edinburgh Logical Framework?, in: Current Trends in Hardware Verifications and Automated Theorem Proving. (Eds. G. Birtwistle and P. A. Subramanyam), Springer-Verlag (1989).
Cited by
56 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. WebPie: A Tiny Slice of Dependent Typing;Electronic Proceedings in Theoretical Computer Science;2024-04-06
2. Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation;Proceedings of the ACM on Programming Languages;2024-01-05
3. Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work);Outstanding Contributions to Logic;2021
4. Functional programming with λ-tree syntax;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
5. A Modular Type Reconstruction Algorithm;ACM Transactions on Computational Logic;2018-10-31