Author:
Brünjes Lars,Gabbay Murdoch J.
Publisher
Springer International Publishing
Reference8 articles.
1. Lecture Notes in Computer Science;MMT Chakravarty,2020
2. Coutts, D., de Vries, E.: A formal specification of the Cardano wallet, Technical report, IOHK, Version 1.2, July 2018
3. Gabbay, M.: Equivariant ZFA and the foundations of nominal techniques. J. Log. Comput. 30(2), 525–48 (2020)
4. de Bruijn, N.G.: Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem. Indagationes Math. 5(34), 381–392 (1972)
5. Gabbay, M.J., Pitts, A.M.: A new approach to abstract syntax with variable binding. Formal Aspects Comput. 13, 341–363 (2001)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献