A study programme that is carried on by post, with tutors mailing learning materials and assignments to students, and students mailing back their work.

plural of foreign correspondent

(mathematics) A bijective correspondence between permutations and pairs of standard Young tableaux of the same shape. It has applications in combinatorics and other areas.

A thesis which claims the existence of an analogy or correspondence between — on the one hand — constructive mathematical proofs and programs (especially functions of a typed functional programming language), and — on the other hand — between formulae (proven by the aforementioned proofs) and types (of the aforementioned functions).