Back to Results
First PageMeta Content
Logic / Interpretation / Structure / Monoid / Elementary class / Function / Programming Computable Functions / Denotational semantics / Mathematics / Model theory / Mathematical logic


Full Abstraction for PCF1 Samson.Abramsky2 University of Edinburgh and Radha Jagadeesan3
Add to Reading List

Document Date: 2004-01-06 12:23:12

Open Document

File Size: 488,73 KB

Share Result on Facebook

City

Sendai / Let / /

Company

ESPRIT / iff s A / /

/

Facility

Radha Jagadeesan3 Loyola University / Abramsky2 University of Edinburgh / /

IndustryTerm

sequential algorithms / positive solution / /

Organization

ONR / Queen Mary and Westfield College / National Science Foundation / University of Edinburgh / Radha Jagadeesan3 Loyola University Chicago / /

Person

Nat / Jon Riecke / Radha Jagadeesan / Hearn Riecke / Pasquale Malacaria / Martin Hyland / Mary / Ralph Loader / Luke Ong / /

Position

After Player / Player / fully abstract model for PCF / /

ProvinceOrState

Pennsylvania / /

Technology

sequential algorithms / dom / /

SocialTag