Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
coinduction
Publications
Well-founded Functions and Extreme Predicates in Dafny: A Tutorial
Rustan Leino
In
:
IWIL-2015. 11th International Workshop on the Implementation of Logics
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.