Sign in
Abhishek De
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 6
Top Topics
Desirable Properties
Default Reasoning
Proof Theoretic
Linear Logic
Top Venues
FSTTCS
CoRR
FSCD
PPDP
</>
Publications
</>
Anupam Das
,
Abhishek De
A proof theory of right-linear (omega-)grammars via cyclic proofs.
CoRR
(2024)
Anupam Das
,
Abhishek De
,
Alexis Saurin
Comparing Infinitary Systems for Linear Logic with Fixed Points.
FSTTCS
(2023)
Abhishek De
,
Farzad Jafar-Rahmani
,
Alexis Saurin
Phase Semantics for Linear Logic with Least and Greatest Fixed Points.
FSTTCS
(2022)
Anupam Das
,
Abhishek De
,
Alexis Saurin
Decision Problems for Linear Logic with Least and Greatest Fixed Points.
FSCD
(2022)
Abhishek De
,
Luc Pellissier
,
Alexis Saurin
Canonical proof-objects for coinductive programming: infinets with infinitely many cuts.
PPDP
(2021)
Abhishek De
,
Alexis Saurin
Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory.
TABLEAUX
(2019)