@article{ChemouilS03,
  title = {Remarks on isomorphisms of simple inductive types},
  author = {David Chemouil and Sergei Soloviev},
  year = {2003},
  url = {http://www1.elsevier.com/gej-ng/31/29/23/138/48/show/Products/notes/index.htt#008},
  researchr = {https://researchr.org/publication/ChemouilS03},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {85},
  number = {7},
  pages = {106-124},
}

@inproceedings{SolovievC03,
  title = {Some Algebraic Structures in Lambda-Calculus with Inductive Types},
  author = {Sergei Soloviev and David Chemouil},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3085&spage=338},
  tags = { algebra},
  researchr = {https://researchr.org/publication/SolovievC03},
  cites = {0},
  citedby = {0},
  pages = {338-354},
  booktitle = {Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
  editor = {Stefano Berardi and Mario Coppo and Ferruccio Damiani},
  volume = {3085},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22164-6},
}