Algorithmic Languages and Calculi