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