Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF.

Stephen D. Brookes, Shai Geva

Browse the full MFPS paper archive.