作 者:Adrien Husson ;Jean Krivine
出 处:Electronic Proceedings in Theoretical Computer Science. 2019 ;306:101-113.doi:10.4204/EPTCS.306.17
出 版 社:Open Publishing Association
文 章 ID:1034258089