Recursive Functions with Higher Order Domains.

Ana Bove Venanzio Capretta Recursive Functions with Higher Order Domains. 116-130 http://dx.doi.org/10.1007/11417170_10 2005 conf/tlca/2005 TLCA db/conf/tlca/tlca2005.html#BoveC05