Abhishek De

According to our database, Abhishek De authored at least 7 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A proof theory of right-linear (omega-)grammars via cyclic proofs.

Anupam Das, Abhishek De

CoRR, 2024

2023

Comparing Infinitary Systems for Linear Logic with Fixed Points.

Anupam Das, Abhishek De, Alexis Saurin

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

2022

Linear logic with the least and greatest fixed points : truth semantics, complexity and a parallel syntax. (La logique linéaire avec les plus petits et les plus grands points fixes : la sémantique de vérité, la complexité, et une syntaxe parallèle).

Abhishek De

PhD thesis, 2022

Phase Semantics for Linear Logic with Least and Greatest Fixed Points.

Abhishek De, Farzad Jafarrahmani, Alexis Saurin

Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022

Decision Problems for Linear Logic with Least and Greatest Fixed Points.

Anupam Das, Abhishek De, Alexis Saurin

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Canonical proof-objects for coinductive programming: infinets with infinitely many cuts.

Abhishek De, Luc Pellissier, Alexis Saurin

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2019

Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory.

Abhishek De, Alexis Saurin

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019