Conference
The Conatural Numbers Form an Exponential Commutative Semiring
| Title: | The Conatural Numbers Form an Exponential Commutative Semiring |
|---|---|
| Authors: | Xie, Szumi, Bense, Viktor |
| Source: | Proceedings of the 10th ACM SIGPLAN International Workshop on Type-Driven Development. :52-63 |
| Availability: | http://dl.acm.org/doi/10.1145/3759538.3759654 |
| Database: | ACM Full-Text Collection |
Be the first to leave a comment!