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