Travelled to:
2 × The Netherlands
Collaborated with:
A.Jung ∅
Talks about:
model (3) pcf (2) extension (1) parallel (1) function (1) abstract (1) continu (1) within (1) uniqu (1) studi (1)
Person: Allen Stoughton
DBLP: Stoughton:Allen
Contributed to:
Wrote 2 papers:
- TLCA-1993-JungS
- Studying the Fully Abstract Model of PCF within its Continuous Function Model (AJ, AS), pp. 230–244.
- LICS-1991-Stoughton #parallel
- Parallel PCF Has a Unique Extensional Model (AS), pp. 146–151.