作 者:Ozan Kahramanoğulları ;Luca Cardelli ;Emmanuelle Caron
出 处:Electronic Proceedings in Theoretical Computer Science. 2009 ;9:73-86.doi:10.4204/EPTCS.9.9
出 版 社:Open Publishing Association
文 章 ID:83119762