TY  - RPRT
TI  - Groups and Inverse Semigroups in Lambda Calculus
AU  - Antonio Bucciarelli
AU  - Arturo De Faveri
AU  - Giulio Manzonetto
AU  - Antonino Salibra
PY  - 2026
UR  - https://arxiv.org/abs/2602.05654
ID  - 2602.05654
ER  -