System F
短语释义与例句
name
-
1.
A kind of typed lambda calculus that introduces a mechanism of universal quantification over types.
A kind of typed lambda calculus that introduces a mechanism of universal quantification over types.