A representable approach to finite nondeterminism (Q1391859): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: A. John Power / rank | |||
Property / author | |||
Property / author: A. John Power / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3917476 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3682648 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to extensive and distributive categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4847018 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3491793 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3202991 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Powerdomain Construction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3920613 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Premonoidal categories and notions of computation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The convex powerdomain in a category of posets realized by cpos / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Power domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Yoneda structures on 2-categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On powerdomains and modality / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/s0304-3975(96)00232-0 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2096619922 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:36, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A representable approach to finite nondeterminism |
scientific article |
Statements
A representable approach to finite nondeterminism (English)
0 references
23 July 1998
0 references
denotational semantics
0 references