Author:
Gabbay Murdoch J.,Hofmann Martin
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Lecture Notes in Computer Science;N. Benton,2005
2. Brunner, N.: 75 years of independence proofs by Fraenkel-Mostowski permutation models. Mathematica Japonica 43, 177–199 (1996)
3. Bucalo, A., Honsell, F., Miculan, M., Scagnetto, I., Hofmann, M.: Consistency of the theory of contexts. Journal of Functional Programming 16(3), 327–395 (2006)
4. Despeyroux, J.: A higher-order specification of the π–calculus. In: IFIP TCS, pp. 425–439 (2000)
5. Lecture Notes in Computer Science;J. Despeyroux,2005
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fuzzy nominal sets;Soft Computing;2024-07-11
2. Nominal Recursors as Epi-Recursors;Proceedings of the ACM on Programming Languages;2024-01-05
3. Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version;Journal of Automated Reasoning;2023-07-05
4. Locally Nameless Sets;Proceedings of the ACM on Programming Languages;2023-01-09
5. The fresh-graph of a nominal set;Discrete Mathematics, Algorithms and Applications;2022-10-20