Author:
Berztiss Alfs T.,Thatte Satish
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Data types in distributive categories;Bulletin of the Australian Mathematical Society;1989-08
2. Minds, Brains and Science.;Noûs;1988-12
3. A mathematical approach to nondeterminism in data types;ACM Transactions on Programming Languages and Systems;1988-01
4. Programming with generators;Software: Practice and Experience;1988-01
5. Types, modularisation and abstraction in logic programming;Algebraic and Logic Programming;1988