diff --git a/src/content.tex b/src/content.tex index ba73ecc..eb401c4 100644 --- a/src/content.tex +++ b/src/content.tex @@ -425,4 +425,4 @@ This paper proposes \lambdammm, a call-by-value, simply typed lambda calculus-ba \section{Acknowledgments} - This study was supported by JSPS KAKENHI (Grant No. \\JP19K21615). I would also like to thank the many anonymous reviewers. \ No newline at end of file + This study was supported by JSPS KAKENHI (Grant No. \\23K12059). I would also like to thank the many anonymous reviewers. \ No newline at end of file