Author:
Accattoli Beniamino,Kesner Delia
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lecture Notes in Computer Science;B. Accattoli,2010
2. Accattoli, B., Kesner, D.: Preservation of strong normalisation modulo permutations for the structural calculus. Submitted to LMCS (2011),
https://sites.google.com/site/beniaminoaccattoli/PSN-modulo.pdf
3. Barendregt, H.: The Lambda Calculus: Its Syntax and Semantics, Revised edition. North-Holland (1984)
4. David, R.: A short proof that adding some permutation rules to preserves SN. TCS 412(11), 1022–1026 (2011)
5. Lecture Notes in Computer Science;P. Groote de,1993
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Genericity Through Stratification;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. A Strong Bisimulation for a Classical Term Calculus;Logical Methods in Computer Science;2024-04-18
3. Z property for the shuffling calculus;Mathematical Structures in Computer Science;2022-08
4. No solvable lambda-value term left behind;Logical Methods in Computer Science;2016-06-30
5. Compositional Z: Confluence Proofs for Permutative Conversion;Studia Logica;2016-05-21