A fully abstract semantics for a higher-order functional language with nondeterministic computation
type: Item
instance of: scholarly article
title: A fully abstract semantics for a higher-order functional language with nondeterministic computation
zbMATH Open document ID: 0954.68038
DOI: 10.1016/S0304-3975(98)00356-9
author: Alan Jeffrey
published in: Theoretical Computer Science
publication date: 2000-08-23T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 18C50
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 1495177
zbMATH Keywords: functional programming language
MaRDI profile type: Publication
full work available at URL: s0304-3975(98)00356-9
OpenAlex ID: W1968787210
description: scientific article; zbMATH DE number 1495177