![](/img/cover-not-exists.png)
A Session Type System with Subject Reduction
IMAI, Keigo, YUEN, Shoji, AGUSA, KiyoshiVolume:
E95.D
Year:
2012
Language:
english
Journal:
IEICE Transactions on Information and Systems
DOI:
10.1587/transinf.E95.D.2053
File:
PDF, 258 KB
english, 2012