Report - 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

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form