Full abstraction

From Free net encyclopedia