publications:
- title: "Remarks on isomorphisms of simple inductive types"
  author:
  - name: "David Chemouil"
    link: "http://www.onera.fr/staff/david-chemouil"
  - name: "Sergei Soloviev"
    link: "http://www.irit.fr/~Sergei.Soloviev/"
  year: "2003"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/138/48/show/Products/notes/index.htt#008"
  links:
    doi: "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"
  kind: "article"
  key: "ChemouilS03"
- title: "Some Algebraic Structures in Lambda-Calculus with Inductive Types"
  author:
  - name: "Sergei Soloviev"
    link: "http://www.irit.fr/~Sergei.Soloviev/"
  - name: "David Chemouil"
    link: "http://www.onera.fr/staff/david-chemouil"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3085&spage=338"
  links:
    doi: "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:
  - name: "Stefano Berardi"
    link: "https://researchr.org/alias/stefano-berardi"
  - name: "Mario Coppo"
    link: "https://researchr.org/alias/mario-coppo"
  - name: "Ferruccio Damiani"
    link: "https://researchr.org/alias/ferruccio-damiani"
  volume: "3085"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22164-6"
  kind: "inproceedings"
  key: "SolovievC03"