@inproceedings{Dybjer83,
  title = {Towards a Unified Theory of Data Types: Some Categorical Aspects},
  author = {Peter Dybjer},
  year = {1983},
  tags = {type theory},
  researchr = {https://researchr.org/publication/Dybjer83},
  cites = {0},
  citedby = {0},
  booktitle = {ADT},
}