A Cartesian Closed Fibration of Higher-Order Regular Languages.

Paul-Andr Mellis, Vincent Moreau

Browse the full LICS paper archive.