Следене
Siva Somayyajula
Siva Somayyajula
Потвърден имейл адрес: 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