Pages that link to "Item:Q1327380"
From MaRDI portal
The following pages link to Sequentiality in an extensional framework (Q1327380):
Displaying 26 items.
- Turing machines, transition systems, and interaction (Q703844) (← links)
- The extensional ordering of the sequential functionals (Q764278) (← links)
- Sequentiality in orthogonal term rewriting systems (Q1186735) (← links)
- Relative definability of boolean functions via hypergraphs (Q1605175) (← links)
- A theory of sequentiality (Q1802073) (← links)
- The sequentially realizable functionals (Q1849853) (← links)
- A relative PCF-definability result for strongly stable functions and some corollaries (Q1854294) (← links)
- Projecting sequential algorithms on strongly stable functions (Q1919532) (← links)
- Sequentialising nested systems (Q2180514) (← links)
- A stable programming language (Q2492185) (← links)
- (Q2778815) (← links)
- Non-uniform hypercoherences (Q2842815) (← links)
- Definability and full abstraction (Q2864154) (← links)
- Compositionality Entails Sequentializability (Q3000634) (← links)
- Non-uniform (hyper/multi)coherence spaces (Q3081320) (← links)
- (Q4513578) (← links)
- (Q4681367) (← links)
- Turing Machines, Transition Systems, and Interaction (Q4917087) (← links)
- (Q5015871) (← links)
- (Q5203927) (← links)
- On the reification of semantic linearity (Q5741580) (← links)
- On the symmetry of sequentiality (Q5890040) (← links)
- Sequential functions on indexed domains and full abstraction for a sub-language of PCF (Q5890055) (← links)
- Another approach to sequentiality: Kleene's unimonotone functions (Q5890056) (← links)
- On the expressive power of first-order boolean functions in PCF (Q5958769) (← links)
- Admissible generalisation of temporal sequences as chronicles (Q6060998) (← links)
