Skip to main content
000 000's user avatar
000 000's user avatar
000 000's user avatar
000 000
  • Member for 1 year, 3 months
  • Last seen this week
comment
Product types: algebraic structure for modeling product types with commutative and associative product operation
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.
Loading…