Sciweavers

LICS
1991
IEEE

Linearizing Intuitionistic Implication

14 years 4 months ago
Linearizing Intuitionistic Implication
Patrick Lincoln, Andre Scedrov, Natarajan Shankar
Added 27 Aug 2010
Updated 27 Aug 2010
Type Conference
Year 1991
Where LICS
Authors Patrick Lincoln, Andre Scedrov, Natarajan Shankar
Comments (0)