%0 Journal Article %1 komori2013lambdarhocalculus %A Komori, Yuichi %D 2013 %I University of Tsukuba, Institute of Mathematics %J Tsukuba Journal of Mathematics %K calculus lambda rho %N 2 %P 307--320 %T $łambda\rho$-calculus II %U http://projecteuclid.org/euclid.tkbjm/1389972031 %V 37

@article{komori2013lambdarhocalculus, added-at = {2014-11-24T06:42:47.000+0100}, ajournal = {Tsukuba J. Math.}, author = {Komori, Yuichi}, biburl = {https://www.bibsonomy.org/bibtex/23b191385d15f21389564e1cdeca59c52/t.uemura}, interhash = {e310b51fe4867e5d33c7058fb00b5cae}, intrahash = {3b191385d15f21389564e1cdeca59c52}, journal = {Tsukuba Journal of Mathematics}, keywords = {calculus lambda rho}, month = {12}, number = 2, pages = {307--320}, publisher = {University of Tsukuba, Institute of Mathematics}, timestamp = {2014-11-24T06:42:47.000+0100}, title = {$\lambda\rho$-calculus II}, url = {http://projecteuclid.org/euclid.tkbjm/1389972031}, volume = 37, year = 2013 }