Antonio Bucciarelli, Arturo De Faveri, Giulio Manzonetto, Antonino Salibra. Groups and Inverse Semigroups in Lambda Calculus. In Frank Pfenning, editor, 11th International Conference on Formal Structures for Computation and Deduction, FSCD 2026, Lisbon, Portugal, July 20-23, 2026. Volume 378 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.