@article{oai:tsukuba.repo.nii.ac.jp:00048840,
 author = {KOMORI, Yuichi},
 issue = {2},
 journal = {Tsukuba Journal of Mathematics},
 month = {Dec},
 pages = {307--320},
 title = {λρ-calculus II},
 volume = {37},
 year = {2013}
}