Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
mixed induction and coinduction
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
Beating the Productivity Checker Using Embedded Languages
Nils Anders Danielsson
In
:
PAR-10. Partiality and Recursion in Interactive Theorem Provers
Copyright © 2012-2024 easychair.org. All rights reserved.