An Abstract Property of Confluence Applied to the Study of the Lazy Partial Lambda Calculus.

Ramn Pino Prez, Christian Even

Browse the full LFCS paper archive.