Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
420 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Call-by-Unboxed-Value;Proceedings of the ACM on Programming Languages;2024-08-15
2. A proof theory of right-linear (ω-)grammars via cyclic proofs;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Semi-Substructural Logics with Additives;Electronic Proceedings in Theoretical Computer Science;2024-04-23
4. Analyticity with extra-logical information;Journal of Logic and Computation;2024-04-04
5. The Session Abstract Machine;Lecture Notes in Computer Science;2024