@article{oai:repository.nii.ac.jp:00001263,
 author = {龍田, 真 and Tatsuta, Makoto},
 journal = {NIIテクニカル・レポート, NII Technical Report},
 month = {Jul},
 note = {This paper provides a translation of multi-staged language into a record calculus. It is based on the translations given by Aktemur and Yi. This paper gives simpler and detailed proofs of the soundness theorem of its type translation and the bisimilarity of its term translation.},
 pages = {1--5},
 title = {NII Technical Report (NII-2010-003E)：Translation of Multi-Staged Language},
 year = {2010}
}