Edinburgh LCF (Computer system)
Used for
- Edinburgh Logic for Computable Functions (Computer system)
Hierarchy
Broader groupings:
...