[Iris-Club] A question on invariant identifier namespaces

Ralf Jung jung at mpi-sws.org
Wed Aug 17 08:43:20 CEST 2016

Hi Jeehoon,

>     Furthermore, the N subscript at the viewshift is implicitly closed.
> Not sure how do you mean by "closed."  May I ask what does it mean? 

I meant, we write "=>_N" to mean "=>_N↑".

Kind regards,

More information about the Iris-Club mailing list