Patrick Lincoln Andre Scedrov Natarajan Shankar Linearizing Intuitionistic Implication 51-62 conf/lics/LICS6 1991 LICS db/conf/lics/lics91.html#LincolnSS91