A relative PCF-definability result for strongly stable functions and some corollaries
type: Item
instance of: scholarly article
title: A relative PCF-definability result for strongly stable functions and some corollaries
zbMATH Open document ID: 1004.03029
author: Thomas Ehrhard
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 1853055
zbMATH Keywords: continuous functionals
zbMATH Keywords: hierarchy of simple types
zbMATH Keywords: strongly stable function
zbMATH Keywords: PCF-definable functional
zbMATH Keywords: strongly stable model
MaRDI profile type: Publication
full work available at URL: inco.1998.2781
OpenAlex ID: W2038883640
cites work: A theory of sequentiality
cites work: Sequentiality in an extensional framework
cites work: Fully abstract semantics for observably sequential languages
cites work: Q5287527
cites work: On the symmetry of sequentiality
cites work: Localisation and interaction in one dimension
cites work: Projecting sequential algorithms on strongly stable functions
cites work: The system \({\mathcal F}\) of variable types, fifteen years later
cites work: The sequentially realizable functionals
cites work: Q3727946
cites work: What is a model of the lambda calculus?
cites work: Fully abstract models of typed \(\lambda\)-calculi
cites work: LCF considered as a programming language
cites work: Q4092932
DOI: 10.1006/INCO.1998.2781
description: scientific article; zbMATH DE number 1853055