A mathematical semantics for a nondeterministic typed lambda-calculus
type: Item
instance of: scholarly article
title: A mathematical semantics for a nondeterministic typed lambda-calculus
zbMATH Open document ID: 0462.68006
DOI: 10.1016/0304-3975(80)90015-8
author: Matthew Hennessy
author: E. A. Ashcroft
published in: Theoretical Computer Science
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 68W99
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 3723841
zbMATH Keywords: lambda calculus
zbMATH Keywords: semantics of nondeterministic algorithms
describes a project that uses: LCF
MaRDI profile type: Publication
full work available at URL: 0304-3975(80)90015-8
OpenAlex ID: W1986227685
cites work: Fixpoint approach to the theory of computation
cites work: Q4138713
cites work: Q4077434
cites work: Fully abstract models of typed \(\lambda\)-calculi
cites work: LCF considered as a programming language
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: A Powerdomain Construction
cites work: Q3853124
cites work: Q4083399
cites work: Q4195918
cites work: Intensional interpretations of functionals of finite type I
cites work: Q4130957
description: scientific article; zbMATH DE number 3723841