Author:Vilhelm Sjöberg

Publications
Termination Casts: A Flexible Approach to Termination with General Recursion Aaron Stump, Vilhelm Sjöberg and Stephanie Weirich In:PAR-10. Partiality and Recursion in Interactive Theorem Provers