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},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{PAR-10:Recursive_Definitions_of_Monadic,
  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},
  pages     = {1--13},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/hcw},
  doi       = {10.29007/1mdt}}

@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},
  pages     = {14--17},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/wV7},
  doi       = {10.29007/33k5}}

@inproceedings{PAR-10:MiniAgda_Integrating_Sized_and,
  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},
  pages     = {18--33},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/RM},
  doi       = {10.29007/322q}}

@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},
  pages     = {34--54},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/g},
  doi       = {10.29007/l41f}}

@inproceedings{PAR-10:Rewriting_and_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},
  pages     = {55--71},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/9bCk},
  doi       = {10.29007/b7wc}}

@inproceedings{PAR-10:General_Recursion_and_Formal,
  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},
  pages     = {72--83},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/q9b2},
  doi       = {10.29007/hl75}}

@inproceedings{PAR-10:Termination_Casts_Flexible_Approach,
  author    = {Aaron Stump and Vilhelm Sj\textbackslash{}"oberg 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},
  pages     = {84--100},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/fm4X},
  doi       = {10.29007/3w36}}

@inproceedings{PAR-10:Termination_Checking_in_Presence,
  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},
  pages     = {101--106},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/v6HK},
  doi       = {10.29007/n51d}}

@inproceedings{PAR-10:Cyclic_Proofs_and_Coinductive,
  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},
  pages     = {107--113},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/MDb},
  doi       = {10.29007/hxgm}}

@inproceedings{PAR-10:Antifounded_Coinduction_in_Type,
  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},
  pages     = {114},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Lv},
  doi       = {10.29007/gh62}}