LCF (theorem prover)
Redirect to:
Logic for Computable Functions