On full abstraction for PCF(1995 (1979)

by J M E Hyland, Game Semantics, in A Pitts, P Dybjer
Venue:Coalgebras and Bialgebras in Combinatorics, Studies in Applied Mathematics 61