@misc{indiciae33787a02787a, title = {Session Types in Abelian Logic}, author = {Yoichi Hirai}, year = {2013}, doi = {10.4204/eptcs.137.4}, url = {https://arxiv.org/abs/1312.2700}, note = {Source identifier: 1312.2700} }