We must then provide a clause like (3) ∀α∀ ('Instantiation'∗(∗'Ref '∗(∗α∗)∗,∗'Ref '∗(∗ ∗)∗) means that Ref(α) and Ref () instantiate ...
確定! 回上一頁