Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 1 Conference contribution
-
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 AccessFile12 Downloads (Pure)