Author:
Coppo M.,Dezani-Ciancaglini M.
Cited by
183 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Nondeterministic and nonconcurrent computational semantics for BB+ and related logics;Journal of Logic and Computation;2023-09-16
2. The bang calculus revisited;Information and Computation;2023-08
3. Taylor Expansion as a Monad in Models of DiLL;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
4. A strong call-by-need calculus;Logical Methods in Computer Science;2023-03-24
5. Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework;Proceedings of the ACM on Programming Languages;2023-01-09