Second-order lambda-calculus

(SOL) A typed lambda-calculus.
[“Abstract Types have Existential Type”, J. Mitchell et al, 12th POPL, ACM 1985, pp. 37-51].


Read Also:

  • Second-papers

    plural noun 1. (before 1952) an official petition for naturalization by a resident alien desiring to become a U.S. citizen, filed two years after his or her first papers and upon having lived in the U.S. for five years.

  • Second-person

    noun, Grammar. 1. the person used by a speaker in referring to the one or ones to whom he or she is speaking: in English you is a second person pronoun. second person noun 1. a grammatical category of pronouns and verbs used when referring to or describing the individual or individuals being addressed

  • Second-position

    noun, Ballet. 1. a position in which the feet are spread apart and are at right angles to the direction of the body, the toes pointing out.

  • Second quantum number

    second quantum number The quantum number corresponding to the angular momentum of an electron in an orbital around an atom, determining the shape of its orbit. See Note at quantum number.

Disclaimer: Second-order lambda-calculus 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.