@inproceedings{zamdzhiev:hal-03018418,
  TITLE = {{Semantics for First-Order Affine Inductive Data Types via Slice Categories}},
  AUTHOR = {Zamdzhiev, Vladimir},
  URL = {https://hal.science/hal-03018418},
  BOOKTITLE = {{International Workshop on Coalgebraic Methods in Computer Science}},
  ADDRESS = {Virtual, France},
  YEAR = {2020},
  MONTH = Sep,
  DOI = {10.1007/978-3-030-57201-3\_10},
  KEYWORDS = {Inductive data types ; Affine Types ; Categorical Semantics},
  HAL_ID = {hal-03018418},
  HAL_VERSION = {v1},
}