HOST Implementation Features
Introduction
LCF paradigm
Notationally Generic
Computationally Efficient
Powerful Kernel
©
created 1997/12/08
modified 1997/12/08