A Logical Foundation for Environment Classifiers (0)

by T Tsukada, A Igarashi
Venue:Logical Methods in Computer Science