Volgen
Siva Somayyajula
Siva Somayyajula
PhD Student, Carnegie Mellon University
Geverifieerd e-mailadres voor cs.cmu.edu
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–3