But relational parametricity survived as a notion because it turned out to ... In polymorphic type theory (PTT) we will additionally use an infinite set of ...
確定! 回上一頁