Equational Logic of Recursive Program Schemes.

John G. Mersch

Browse the full CALCO paper archive.