Author:Nils Anders Danielsson

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