Sciweavers

129
Voted
CADE
1997
Springer

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

15 years 1 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)