Seuraa
Siva Somayyajula
Siva Somayyajula
PhD Student, Carnegie Mellon University
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.cmu.edu
Nimike
Viittaukset
Viittaukset
Vuosi
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–3