Abhishek De

Research output

Research output per year 2023 2023 2023

• 1 Conference contribution

Research output per year

Research output per year

Search results

• 2023

  Comparing Infinitary Systems for Linear Logic with Fixed Points

  Das, A., De, A. & Saurin, A., 12 Dec 2023, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023). Bouyer, P., Srinivasan, S. & Srinivasan, S. (eds.). Schloss Dagstuhl, p. 40:1-40:17 37. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 284).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  17 Downloads (Pure)