Author:
Herbelin Hugo,Zimmermann Stéphane
Publisher
Springer Berlin Heidelberg
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Genericity Through Stratification;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Strong Call-by-Value and Multi Types;Theoretical Aspects of Computing – ICTAC 2023;2023
3. The theory of call-by-value solvability;Proceedings of the ACM on Programming Languages;2022-08-29
4. On reduction and normalization in the computational core;Mathematical Structures in Computer Science;2022-08
5. Abstracting models of strong normalization for classical calculi;Journal of Logical and Algebraic Methods in Programming;2020-02