Author:
Shinwell Mark R.,Pitts Andrew M.,Gabbay Murdoch J.
Cited by
54 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Nominal AC-Matching;Lecture Notes in Computer Science;2023
2. Formal metatheory of second-order abstract syntax;Proceedings of the ACM on Programming Languages;2022-01-12
3. On Theory of Names to be Used in Semantics of References in Functional and Object-Oriented Languages;Proceedings of 23rd Scientific Conference “Scientific Services & Internet – 2021”;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. Typed Nominal Rewriting;ACM Transactions on Computational Logic;2018-02-15