Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Thorsten Altenkirch
Publications
Termination Checking in the Presence of Nested Inductive and Coinductive Types
Thorsten Altenkirch
and
Nils Anders Danielsson
In
:
PAR-10. Partiality and Recursion in Interactive Theorem Provers
Keyphrases
coinduction
,
corecursion
,
dependent types
,
mixed induction and coinduction
.
Copyright © 2012-2024 easychair.org. All rights reserved.