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}}