Allie LogoA Search Service for Abbreviation / Long Form

略語/展開語 : HOL/higher-order+logic