Conference
Προβολή σε EDS

The Conatural Numbers Form an Exponential Commutative Semiring

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: The Conatural Numbers Form an Exponential Commutative Semiring
Συγγραφείς: Xie, Szumi, Bense, Viktor
Πηγή: Proceedings of the 10th ACM SIGPLAN International Workshop on Type-Driven Development. :52-63
Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3759538.3759654
Βάση Δεδομένων: ACM Full-Text Collection
Περιγραφή
DOI:10.1145/3759538.3759654