Linearizing ituitionistic implication (1991)

by P Lincoln, A Scedrov, N Shankar
Venue:Sixth IEEE LICS Symposium, Vrije