Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Ekaterina Komendantskaya, Ana Bove, Milad Niqui, editors, Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010. Volume 5 of EPiC Series, EasyChair, 2012. [doi]

Conference: itp2012

Abstract is missing.

Recursive Definitions of Monadic FunctionsAlexander Krauss. 1-13 [doi]

Djinn, MonotonicConor McBride. 14-17 [doi]

MiniAgda: Integrating Sized and Dependent TypesAndreas Abel. 18-32 [doi]

Beating the Productivity Checker Using Embedded LanguagesNils Anders Danielsson. 33-53 [doi]

Rewriting and Well-Definedness within a Proof SystemIssam Maamria, Michael J. Butler. 54-70 [doi]

General Recursion and Formal TopologyClaudio Sacerdoti Coen, Silvio Valentini. 71-82 [doi]

Termination Casts: A Flexible Approach to Termination with General RecursionAaron Stump, Vilhelm Sjöberg, Stephanie Weirich. 83-99 [doi]

Termination Checking in the Presence of Nested Inductive and Coinductive TypesThorsten Altenkirch, Nils Anders Danielsson. 100-105 [doi]

Cyclic Proofs and Coinductive PrinciplesGavin Mendel-Gleason, Geoff W. Hamilton. 106-112 [doi]

Antifounded Coinduction in Type TheoryTarmo Uustalu. 113 [doi]

runs on WebDSL