Report copyright - Functional Query Languages with Categorical Types · higher-order logic. We prove that every hereditarily domain-independent higher-order logic program can be translated into the
Please pass captcha verification before submit form
Please pass captcha verification before submit form