Roever, W.-P. de profile picture

Roever, W.-P. de

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Recursive program schemes: Semantics and proof theory (Mathematical Centre tracts ; 70)