Hol-88


An implementation of HOL built on ML by Mike Gordon [email protected].

Read Also:

  • Hol-90

    An implementation of HOL built on SML/NJ by Brian Graham [email protected]. Runs on Sun-4. (ftp://fsa.cpsc.ucalgary.ca/pub/hol90.tar.Z). Mailing list: [email protected].

  • Holandric gene

    holandric gene n. See Y-linked gene.

  • Holandric

    [ho-lan-drik, hoh-] /hɒˈlæn drɪk, hoʊ-/ adjective, Genetics. 1. of or relating to a heritable trait appearing only in males (opposed to ). holandric ho·lan·dric (hō-lān’drĭk, hŏ-) adj. Relating to a trait encoded by a gene or genes located on the Y-chromosome and therefore occurring only in males.

  • Holarchy

    /ˈhəʊlˌɑːkɪ/ noun 1. a system composed of interacting holons

  • Holarctic

    [ho-lahrk-tik, -ahr-tik, hoh-] /hɒˈlɑrk tɪk, -ˈɑr tɪk, hoʊ-/ adjective, Zoogeography. 1. belonging or pertaining to a geographical division comprising the Nearctic and Palearctic regions. /həʊˈlɑːktɪk/ adjective 1. of or denoting a zoogeographical region consisting of the Palaearctic and Nearctic regions


Disclaimer: Hol-88 definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.