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