Logic for Computable Functions

Edinburgh LCF 0 Implementation of
1
Cambridge LCF 0 Evolution of
1
HOL 1 Based on
1
HOL-88 1 Implementation
1
HOL-90 1 Evolution of
1