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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Information and computation Jg. 163; H. 2; S. 409 - 470
Hauptverfasser:	Abramsky, Samson, Jagadeesan, Radha, Malacaria, Pasquale
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	San Diego, CA Elsevier Inc 15.12.2000 Elsevier
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!