PAR

201020102010

Keyphrases

Publications

2010

Nils Anders Danielsson
Beating the Productivity Checker Using Embedded Languages PAR (2010)
Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich
Termination Casts: A Flexible Approach to Termination with General Recursion PAR (2010)
Alexander Krauss
Recursive Definitions of Monadic Functions PAR (2010)
Claudio Sacerdoti Coen, Silvio Valentini
General Recursion and Formal Topology PAR (2010)
Issam Maamria, Michael J. Butler
Rewriting and Well-Definedness within a Proof System PAR (2010)
Andreas Abel
MiniAgda: Integrating Sized and Dependent Types PAR (2010)

volume 43, 2010

Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, PAR 2010, Edinburgh, UK, 15th July 2010. PAR 43 (2010)