Mendler-Style Inductive Types, Categorically - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Tarmo Uustalu, Varmo Vene. Mendler-Style Inductive Types, Categorically. Nord. J. Comput., 6(3):343, 1999.

@article{UustaluV99:0,
  title = {Mendler-Style Inductive Types, Categorically},
  author = {Tarmo Uustalu and Varmo Vene},
  year = {1999},
  researchr = {https://researchr.org/publication/UustaluV99%3A0},
  cites = {0},
  citedby = {0},
  journal = {Nord. J. Comput.},
  volume = {6},
  number = {3},
  pages = {343},
}

runs on WebDSL