Higher-Order Constrained Dependency Pairs for (Universal) Computability.

Liye Guo, Kasper Hagens, Cynthia Kop, Deivid Vale

Browse the full MFCS paper archive.