Sciweavers

59
Voted
LICS
1987
IEEE

Kripke-Style models for typed lambda calculus

15 years 12 days ago
Kripke-Style models for typed lambda calculus
John C. Mitchell, Eugenio Moggi
Added 28 Aug 2010
Updated 28 Aug 2010
Type Conference
Year 1987
Where LICS
Authors John C. Mitchell, Eugenio Moggi
Comments (0)