up

HOST Implementation Features

Introduction

LCF paradigm

Notationally Generic

Computationally Efficient

Powerful Kernel

HOME © RBJ
created 1997/12/08
modified 1997/12/08