The Formal Semantics of Programming Languages: An Introduction
The MIT Press
3: Some principles of induction
Don't already have an account? Register
You could not be signed in. Please check your email address / username and password and try again.