PAR-10: BibTeX Entries

Volume

@proceedings{PAR-10,
  title     = {PAR-10. Partiality and Recursion in Interactive Theorem Provers},
  editor    = {Ekaterina Komendantskaya and Ana Bove and Milad Niqui},
  series    = {EPiC Series in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2012}}

Papers

@inproceedings{PAR-10:Recursive_Definitions_Monadic_Functions,
  author    = {Alexander Krauss},
  title     = {Recursive Definitions of Monadic Functions},
  booktitle = {PAR-10. Partiality and Recursion in Interactive Theorem Provers},
  editor    = {Ekaterina Komendantskaya and Ana Bove and Milad Niqui},
  series    = {EPiC Series in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/hcw},
  doi       = {10.29007/1mdt},
  pages     = {1-13},
  year      = {2012}}


@inproceedings{PAR-10:Djinn_Monotonic,
  author    = {Conor McBride},
  title     = {Djinn, Monotonic},
  booktitle = {PAR-10. Partiality and Recursion in Interactive Theorem Provers},
  editor    = {Ekaterina Komendantskaya and Ana Bove and Milad Niqui},
  series    = {EPiC Series in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/wV7},
  doi       = {10.29007/33k5},
  pages     = {14-17},
  year      = {2012}}


@inproceedings{PAR-10:MiniAgda_Integrating_Sized_Dependent,
  author    = {Andreas Abel},
  title     = {MiniAgda: Integrating Sized and Dependent Types},
  booktitle = {PAR-10. Partiality and Recursion in Interactive Theorem Provers},
  editor    = {Ekaterina Komendantskaya and Ana Bove and Milad Niqui},
  series    = {EPiC Series in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/RM},
  doi       = {10.29007/322q},
  pages     = {18-33},
  year      = {2012}}


@inproceedings{PAR-10:Beating_Productivity_Checker_Using,
  author    = {Nils Anders Danielsson},
  title     = {Beating the Productivity Checker Using Embedded Languages},
  booktitle = {PAR-10. Partiality and Recursion in Interactive Theorem Provers},
  editor    = {Ekaterina Komendantskaya and Ana Bove and Milad Niqui},
  series    = {EPiC Series in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/g},
  doi       = {10.29007/l41f},
  pages     = {34-54},
  year      = {2012}}


@inproceedings{PAR-10:Rewriting_Well_Definedness_within,
  author    = {Issam Maamria and Michael Butler},
  title     = {Rewriting and Well-Definedness within a Proof System},
  booktitle = {PAR-10. Partiality and Recursion in Interactive Theorem Provers},
  editor    = {Ekaterina Komendantskaya and Ana Bove and Milad Niqui},
  series    = {EPiC Series in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/9bCk},
  doi       = {10.29007/b7wc},
  pages     = {55-71},
  year      = {2012}}


@inproceedings{PAR-10:General_Recursion_Formal_Topology,
  author    = {Claudio Sacerdoti Coen and Silvio Valentini},
  title     = {General Recursion and Formal Topology},
  booktitle = {PAR-10. Partiality and Recursion in Interactive Theorem Provers},
  editor    = {Ekaterina Komendantskaya and Ana Bove and Milad Niqui},
  series    = {EPiC Series in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/q9b2},
  doi       = {10.29007/hl75},
  pages     = {72-83},
  year      = {2012}}


@inproceedings{PAR-10:Termination_Casts_Flexible_Approach,
  author    = {Aaron Stump and Vilhelm Sjöberg and Stephanie Weirich},
  title     = {Termination Casts: A Flexible Approach to Termination with General Recursion},
  booktitle = {PAR-10. Partiality and Recursion in Interactive Theorem Provers},
  editor    = {Ekaterina Komendantskaya and Ana Bove and Milad Niqui},
  series    = {EPiC Series in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/fm4X},
  doi       = {10.29007/3w36},
  pages     = {84-100},
  year      = {2012}}


@inproceedings{PAR-10:Termination_Checking_Presence_Nested,
  author    = {Thorsten Altenkirch and Nils Anders Danielsson},
  title     = {Termination Checking in the Presence of Nested Inductive and Coinductive Types},
  booktitle = {PAR-10. Partiality and Recursion in Interactive Theorem Provers},
  editor    = {Ekaterina Komendantskaya and Ana Bove and Milad Niqui},
  series    = {EPiC Series in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/v6HK},
  doi       = {10.29007/n51d},
  pages     = {101-106},
  year      = {2012}}


@inproceedings{PAR-10:Cyclic_Proofs_Coinductive_Principles,
  author    = {Gavin Mendel-Gleason and Geoff Hamilton},
  title     = {Cyclic Proofs and Coinductive Principles},
  booktitle = {PAR-10. Partiality and Recursion in Interactive Theorem Provers},
  editor    = {Ekaterina Komendantskaya and Ana Bove and Milad Niqui},
  series    = {EPiC Series in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/MDb},
  doi       = {10.29007/hxgm},
  pages     = {107-113},
  year      = {2012}}


@inproceedings{PAR-10:Antifounded_Coinduction_Type_Theory,
  author    = {Tarmo Uustalu},
  title     = {Antifounded Coinduction in Type Theory},
  booktitle = {PAR-10. Partiality and Recursion in Interactive Theorem Provers},
  editor    = {Ekaterina Komendantskaya and Ana Bove and Milad Niqui},
  series    = {EPiC Series in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Lv},
  doi       = {10.29007/gh62},
  pages     = {114},
  year      = {2012}}