Travelled to:1 × Australia
Collaborated with:∅
Talks about:implement (1) framework (1) higher (1) order (1) nuprl (1) logic (1) light (1)
Person: Jason J. Hickey
DBLP: Hickey:Jason_J=
Contributed to:
1997Wrote 1 papers:
- CADE-1997-Hickey #framework #higher-order #implementation #logic #named
- Nuprl-Light: An Implementation Framework for Higher-Order Logics (JJH), pp. 395–399.