Jean Gallier. A Note on Logical PERs and Reducibility. Logical Relations Strike Again!. In Antoine Amarilli, Alin Deutsch, editors, The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen, Tannen's Festschrift, May 24-25, 2024, University of Pennsylvania, Philadelphia, PA, USA. Volume 119 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]
Abstract is missing.