Full Abstraction for PCF

An intensional model for the programming language PCF is described in which the types of PCF are interpreted by games and the terms by certain history-free strategies. This model is shown to capture definability in PCF. More precisely, every compact strategy in the model is definable in a certain si...

Full description

Saved in:

Bibliographic Details
Published in:	Information and computation Vol. 163; no. 2; pp. 409 - 470
Main Authors:	Abramsky, Samson, Jagadeesan, Radha, Malacaria, Pasquale
Format:	Journal Article
Language:	English
Published:	San Diego, CA Elsevier Inc 15.12.2000 Elsevier
Subjects:	Applied sciences Computer science; control theory; systems Exact sciences and technology full abstraction functional computation game semantics General logic Language theory and syntactical analysis linear logic Logic and foundations Mathematical logic, foundations, set theory Mathematics PCF programming language semantics Sciences and techniques of general use sequentiality Theoretical computing PCF functional computation linear logic full abstraction game semantics programming language semantics sequentiality Functional computationFunctional calculus Linear logic Programming language Semantics Game semantics Programming language semantics Abstraction Logic
ISSN:	0890-5401, 1090-2651
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!