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