关注
Siva Somayyajula
Siva Somayyajula
PhD Student, Carnegie Mellon University
在 cs.cmu.edu 的电子邮件经过验证
标题
引用次数
引用次数
年份
Circular Proofs as Processes: Type-Based Termination via Arithmetic Refinements
S Somayyajula, F Pfenning
arXiv preprint arXiv:2105.06024, 2021
22021
Towards Unifying (Co) induction and Structural Control
S Somayyajula
5th International Workshop on Trends in Linear Logic and Applications (TLLA …, 2021
12021
On a Decidable Fragment of dL
DMKS Somayyajula
2018
系统目前无法执行此操作，请稍后再试。
文章 1–3