From lambda-Calculus to Universal Algebra and Back.

Giulio Manzonetto, Antonino Salibra

Browse the full MFCS paper archive.