Sciweavers

CADE
1997
Springer

Nuprl-Light: An Implementation Framework for Higher-Order Logics

14 years 3 months ago
Nuprl-Light: An Implementation Framework for Higher-Order Logics
Jason J. Hickey
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1997
Where CADE
Authors Jason J. Hickey
Comments (0)