@InCollection｛zbMATH0770442，作者={Sakayori，Ken和Tsukada，Takeshi}，Title={{{\textbf}}{i/o}类型{{\（\pi\）}}-演算}的范畴模型，BookTitle={编程语言和系统。第28届欧洲编程研讨会，2019年ESOP，作为欧洲软件理论和实践联合会议的一部分，于2019年4月6日至11日在捷克共和国布拉格举行。诉讼}，国际标准图书编号={978-3-030-17183-4；978-3-0.30-17184-1}，页码={640--667}，年份={2019}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-17184-1_23}，关键词={68Q85,03B70,03G30,18D15}，zbMATH={7770442}，Zbl={1524.68220}}