An Extensional Partial Combinatory Algebra Based on Lamda-Terms.

Ramn Pino Prez

Browse the full MFCS paper archive.