Timeline for Product types: algebraic structure for modeling product types with commutative and associative product operation
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 3, 2023 at 9:00 | comment | added | 000 000 | It would essentially mean that we modified type int and bool by associating label "cow" to it. This labeling would be preserved through product operation. Thanks for suggestion about cstheory. | |
| Aug 28, 2023 at 22:42 | comment | added | Andrej Bauer | What is $\mathrm{int}^{\lbrace\mathrm{cow}\rbrace} \times \mathrm{bool}^{\lbrace\mathrm{cow}\rbrace}$ supposed to mean? | |
| Aug 28, 2023 at 22:18 | comment | added | Andrej Bauer | You'd be better off asking on cstheory.stackexchange.com | |
| S Aug 28, 2023 at 20:56 | review | First questions | |||
| Aug 28, 2023 at 22:26 | |||||
| S Aug 28, 2023 at 20:56 | history | asked | 000 000 | CC BY-SA 4.0 |