logical relation

id:sumii:20060113:1137132558
難しい。本当にかわいくない内容だった。型推論については知っているけれども、logical relationについては全くﾜｶﾗﾅｽ。P_ρ(τ_1 -> τ_2)の説明のところで、v v_1 -> *v_2となっているけれども、このアスタリスクの意味が分かりません。
分からないのですが、今学期の授業でやっていないと主張することが出来ない(まともに出席していない・・・)ので、とりあえずは放置というか保留というか。