[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 530 || Higher dimensional word problem
Pitt, David H.; Curien, Pierre-Louis; Abramsky, Samson; Pitts, Andrew M.; Poigné, Axel; Rydeheard, David E.
- 作者Pitt, David H.; Curien, Pierre-Louis; Abramsky, Samson; Pitts, Andrew M.; Poigné, Axel; Rydeheard, David E.
- 文件大小469.69KB
- 发表时间1991
- DOI10.1007/BFb0013459
- 页码94-105