Projecting sequential algorithms on strongly stable functions
type: Item
instance of: scholarly article
title: Projecting sequential algorithms on strongly stable functions
zbMATH Open document ID: 0852.68027
DOI: 10.1016/0168-0072(95)00026-7
author: Thomas Ehrhard
published in: Annals of Pure and Applied Logic
publication date: 1996-12-11T00:00:00Z
Mathematics Subject Classification ID: 68Q05
zbMATH DE Number: 908461
zbMATH Keywords: sequentiality
zbMATH Keywords: strong stability
zbMATH Keywords: sequential models of PCF
MaRDI profile type: Publication
full work available at URL: 0168-0072(95)00026-7
OpenAlex ID: W2011073928
cites work: Games and full completeness for multiplicative linear logic
cites work: Q4490717
cites work: Q4160405
cites work: Sequential algorithms on concrete data structures
cites work: A game semantics for linear logic
cites work: Q4036551
cites work: A theory of sequentiality
cites work: Sequentiality in an extensional framework
cites work: Q3785893
cites work: Q3138537
cites work: Localisation and interaction in one dimension
cites work: The system \({\mathcal F}\) of variable types, fifteen years later
cites work: Q3727946
cites work: Q4693151
cites work: Fully abstract models of typed \(\lambda\)-calculi
cites work: LCF considered as a programming language
cites work: Q3922646
cites work: Q3138547
cites work: Q4092932
description: scientific article; zbMATH DE number 908461