Fibred Data Types
| Date first appeared online | 25/06/2013 |
| DOI | 10.1109/LICS.2013.30 |
| Authors | Setzer A. |
| Journal Name | Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on |
| Volume |
Documents
- fibred_lics2013.pdf , Book
| Date first appeared online | 25/06/2013 |
| DOI | 10.1109/LICS.2013.30 |
| Authors | Setzer A. |
| Journal Name | Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on |
| Volume |