Author:
Pientka Brigitte,Dunfield Jana
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Electronic Notes in Theoretical Computer Science (ENTCS);J. Dunfield,2009
2. Lecture Notes in Artificial Intelligence;A. Gacek,2008
3. Harper, R., Honsell, F., Plotkin, G.: A framework for defining logics. Journal of the ACM 40(1), 143–184 (1993)
4. Miller, D.: A logic programming language with lambda-abstraction, function variables, and simple unification. Journal of Logic and Computation 1(4), 497–536 (1991)
5. Electronic Notes in Theoretical Computer Science (ENTCS);A. Momigliano,2008
Cited by
58 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Higher-Order unification for free!: Reusing the meta-language unification for the object language;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. A Beluga Formalization of the Harmony Lemma in the π-Calculus;Electronic Proceedings in Theoretical Computer Science;2024-07-08
3. Semi-Automation of Meta-Theoretic Proofs in Beluga;Electronic Proceedings in Theoretical Computer Science;2023-11-17
4. Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity;Proceedings of the ACM on Programming Languages;2023-10-16
5. Finitary Type Theories With and Without Contexts;Journal of Automated Reasoning;2023-10-07