Groups and Inverse Semigroups in Lambda Calculus.

Antonio Bucciarelli, Arturo De Faveri, Giulio Manzonetto, Antonino Salibra

Browse the full FSCD paper archive.