Skip to content

Equationally Fully Abstract Models of PCF.

Allen Stoughton

VenueBMFPS
Year1989
ProceedingsMathematical Foundations of Programming Semantics

Browse the full MFPS paper archive.