Building domains from graph models (Q4279258)
From MaRDI portal
scientific article; zbMATH DE number 502865
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Building domains from graph models |
scientific article; zbMATH DE number 502865 |
Statements
Building domains from graph models (English)
0 references
26 July 1994
0 references
partial equivalence relations over graph models
0 references
synthetic domain theory
0 references
\(\lambda\)-calculus
0 references
categories of PERs
0 references
predomains
0 references
domain equations
0 references
polymorphic types
0 references
powerdomain constructions
0 references
subtyping
0 references
bounded quantification
0 references
realizability topos
0 references
