ECS 120 7a:2 definition of P, encoding of data structures

From David Doty