Abstract
The purpose of this note is to describe some of the standard data types of computer science in the language of distributive categories. We believe that in this way we have achieved a simplification and a formal clarification of the specification of these data types.
Publisher
Cambridge University Press (CUP)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献