@article{weko_211071_1, author = "Yosuke,Fukuda", title = "On a Generalization of the Curry Correspondence", journal = "情報処理学会論文誌プログラミング(PRO)", year = "2021", volume = "14", number = "2", pages = "32--32", month = "may" }