| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 |
| Place of Publication | New York |
| Publisher | Association for Computing Machinery |
| Pages | 15-23 |
| Number of pages | 9 |
| ISBN (Print) | 1-58113-265-4 |
| DOIs | |
| Publication status | Published - 2000 |
Logical relations, data abstraction, and structured fibrations
John Power, Edmund Robinson
Research output: Chapter or section in a book/report/conference proceeding › Chapter or section
1
Citation
(SciVal)