Full abstraction for PCF
type: Item
instance of: scholarly article
title: Full abstraction for PCF
zbMATH Open document ID: 1006.68028
author: Samson Abramsky
author: Radha Jagadeesan
author: Pasquale Malacaria
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
full work available at URL: http://qmro.qmul.ac.uk/xmlui/handle/123456789/13604
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03D20
Mathematics Subject Classification ID: 18C50
Mathematics Subject Classification ID: 18D20
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 91A80
zbMATH DE Number: 1853142
zbMATH Keywords: intensional model
zbMATH Keywords: PCF
zbMATH Keywords: definability
zbMATH Keywords: fully abstract model
zbMATH Keywords: recursive strategy
MaRDI profile type: Publication
OpenAlex ID: W2165446401
Wikidata QID: Q56443857
cites work: Q3999206
cites work: Proofs as processes
cites work: Games and full completeness for multiplicative linear logic
cites work: Q4843177
cites work: Q4490717
cites work: Q4263830
cites work: Q4513619
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Sequential algorithms on concrete data structures
cites work: Q3741042
cites work: Q4036551
cites work: Q3138537
cites work: Q5287527
cites work: Q4692885
cites work: Projecting sequential algorithms on strongly stable functions
cites work: Q2754137
cites work: Q3203017
cites work: Q4204146
cites work: Q3824307
cites work: Q3777424
cites work: Q4281476
cites work: Finitary PCF is not decidable
cites work: Q5726697
cites work: Q4123496
cites work: Fully abstract models of typed \(\lambda\)-calculi
cites work: Q4501156
cites work: Kripke logical relations and PCF
cites work: LCF considered as a programming language
cites work: Q4040892
cites work: Q4040912
DBLP publication ID: journals/iandc/AbramskyJM00
DOI: 10.1006/INCO.2000.2930
description: scientific article; zbMATH DE number 1853142