Title: Algorithimic Languages and Calculi