Recursion for higher-order encodings (2001)

by C Schürmann
Venue:In Proc. CSL 2001