A Representation Theorem for Lambda Abstraction Algebras.

Don Pigozzi, Antonino Salibra

Browse the full MFCS paper archive.