Groups and Inverse Semigroups in Lambda Calculus

Antonio Bucciarelli, Arturo De Faveri, Giulio Manzonetto +1

We study invertibility of $\lambda$-terms modulo $\lambda$-theories. Here a fundamental role is played by a class of $\lambda$-terms called finite hereditary permutations (FHP) and by their infinite…