A Green--Julg isomorphism for inverse semigroups

For every finite unital inverse semigroup $S$ and $S$-$C^*$-algebra $A$ we establish an isomorphism between $KK^S(\mathbb{C},A)$ and $K(A \rtimes S)$. This extends the classical Green--Julg isomorphism from finite groups to finite inverse semigroups.