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