Pages that link to "Item:Q3644772"
From MaRDI portal
The following pages link to Nominal Domain Theory for Concurrency (Q3644772):
Displayed 5 items.
- Simple and subdirectly irreducible finitely supported \(Cb\)-sets (Q1680555) (← links)
- Free functor from the category of \(G\)-nominal sets to that of 01-\(G\)-nominal sets (Q1797955) (← links)
- Nominal Automata with Name Binding (Q2988364) (← links)
- Nominal Domain Theory for Concurrency (Q3644772) (← links)
- Denotational Semantics with Nominal Scott Domains (Q5501931) (← links)