%0 Journal Article %1 journals/ieicet/ImaiYA12 %A Imai, Keigo %A Yuen, Shoji %A Agusa, Kiyoshi %D 2012 %J IEICE Trans. Inf. Syst. %K dblp %N 8 %P 2053-2064 %T A Session Type System with Subject Reduction. %U http://dblp.uni-trier.de/db/journals/ieicet/ieicet95d.html#ImaiYA12 %V 95-D

@article{journals/ieicet/ImaiYA12, added-at = {2020-04-11T00:00:00.000+0200}, author = {Imai, Keigo and Yuen, Shoji and Agusa, Kiyoshi}, biburl = {https://www.bibsonomy.org/bibtex/203784252e7e45e2aa45e59c97a68739e/dblp}, ee = {http://search.ieice.org/bin/summary.php?id=e95-d_8_2053}, interhash = {d4883fc3323d4d0441814f1ef48651fa}, intrahash = {03784252e7e45e2aa45e59c97a68739e}, journal = {IEICE Trans. Inf. Syst.}, keywords = {dblp}, number = 8, pages = {2053-2064}, timestamp = {2020-04-14T11:51:16.000+0200}, title = {A Session Type System with Subject Reduction.}, url = {http://dblp.uni-trier.de/db/journals/ieicet/ieicet95d.html#ImaiYA12}, volume = {95-D}, year = 2012 }