Full abstraction, totality and (1999)

by G Plotkin