Lambda Calculus with Regular Types.

Besik Dundua, Mrio Florido, Temur Kutsia

Browse the full SYNASC paper archive.