[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 389 || From petri nets to linear logic

• 作者Pitt, David H.; Rydeheard, David E.; Dybjer, Peter; Pitts, Andrew M.; Poigné, Axel
• 文件大小1463.01KB
• 发表时间1989
• DOI10.1007/bfb0018359
• 页码313-340