Must Preorder in Non-Deterministic Untyped Lambda-Calculus

Authors:
Ugo de'Liguoro;Adolfo Piperno
Affiliations:
-;-
Venue:
CAAP '92 Proceedings of the 17th Colloquium on Trees in Algebra and Programming
Year:
1992

Citing 0
Cited 3

Making choices lazily

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Algebraic approaches to nondeterminism—an overview

ACM Computing Surveys (CSUR)
Erratic fudgets: a semantic theory for an embedded coordination language

Science of Computer Programming - Special issue on coordination languages and architectures

Quantified Score

Hi-index	0.00

Visualization

Abstract