Author:
Gacek Andrew,Miller Dale,Nadathur Gopalan
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference48 articles.
1. Communication and Concurrency;Milner,1989
2. P. Borras, D. Clément, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang, V. Pascual, Centaur: the system, in: Third Annual Symposium on Software Development Environments (SDE3), Boston, 1988, pp. 14–24.
3. J.-Y. Girard, A fixpoint theorem in linear logic, an email posting to the mailing list, 1992. Available from: .
4. Rules of definitional reflection;Schroeder-Heister,1993
5. Cut-elimination for a logic with definitions and induction;McDowell;Theoretical Computer Science,2000
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Concurrent Calculi Formalisation Benchmark;Lecture Notes in Computer Science;2024
2. Formal Reasoning Using Distributed Assertions;Frontiers of Combining Systems;2023
3. A Logic for Formalizing Properties of LF Specifications;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20
4. Nominal Matching Logic;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20
5. A Survey of the Proof-Theoretic Foundations of Logic Programming;Theory and Practice of Logic Programming;2021-11-18