tomoyanonymous/ifc-2024-lambdammm
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fixed grant number

Browse Source
This commit is contained in:
松浦 知也 Matsuura Tomoya
2024-10-10 08:33:30 +00:00
parent 0198342f80
commit c139d347bf
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/content.tex
View File

@@ -425,4 +425,4 @@ This paper proposes \lambdammm, a call-by-value, simply typed lambda calculus-ba
\section{Acknowledgments} \section{Acknowledgments}
This study was supported by JSPS KAKENHI (Grant No. \\JP19K21615). I would also like to thank the many anonymous reviewers. This study was supported by JSPS KAKENHI (Grant No. \\23K12059). I would also like to thank the many anonymous reviewers.