Sharing in nondeterminism

Publisher Website

1 January 1979

book chapter
Published by Springer Nature

p. 1-15
https://doi.org/10.1007/3-540-09510-1_1

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Stable models of typed λ-calculi
Published by Springer Nature ,1978
Non Deterministic Recursive Program Schemes
Lecture Notes in Computer Science, 1977
A Powerdomain Construction
SIAM Journal on Computing, 1976
Graph representation and computation rules for typeless recursive languages
Published by Springer Nature ,1974