Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. α β-Relations and the Actual Meaning of α-Renaming;ACM Transactions on Computational Logic;2021-01-22
2. A general approach to define binders using matching logic;Proceedings of the ACM on Programming Languages;2020-08-02
3. Graph easy sets of mute lambda terms;Theoretical Computer Science;2016-05
4. Ordered Models of the Lambda Calculus;Logical Methods in Computer Science;2013-12-12
5. A non-uniform finitary relational semantics of system
T;RAIRO - Theoretical Informatics and Applications;2013-01