実型引数を仮型引数に「渡す」

先日のエントリー 仮型引数と実型引数の混同に関する考察 で仮型引数 (type parameter) と実型引数 (type argument) の話をしました。
では、実型引数を仮型引数に「渡す」ことは仕様では何と呼ぶのでしょうか。

The type argument list denotes a particular invocation of the type parameters of the generic type indicated by the type declaration specifier.

http://docs.oracle.com/javase/specs/jls/se7/html/jls-4.html#jls-4.5

訳すと『実型引数のリストは、(中略)総称型の仮型引数の特定のinvocationを表します。』
といったところでしょうか。
invocation (呼び出し) だそうです。