Lcf

Logic for Computable Functions

Free Online Dictionary of Computing