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)
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.
- Second-rate
adjective 1. of lesser or minor quality, importance, or the like: a second-rate poet. 2. inferior; mediocre: a second-rate performance. adjective 1. not of the highest quality; mediocre 2. second in importance, etc