Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
Fujita Ken-etsu,On type-related problems of lambda-calculi,SUGAKU,0039470X,The Mathematical Society of Japan,2014,66,1,78-89,https://cir.nii.ac.jp/crid/1390001205067242880,https://doi.org/10.11429/sugaku.0661078