Linearizing Intuitionistic Implication

Patrick Lincoln, Andre Scedrov, Natarajan Shankar

Browse the full LICS paper archive.