The following pages link to A theory of sequentiality (Q1802073):
Displaying 12 items.
- A syntactic theory of sequential state (Q1263961) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- A relative PCF-definability result for strongly stable functions and some corollaries (Q1854294) (← links)
- Projecting sequential algorithms on strongly stable functions (Q1919532) (← links)
- A stable programming language (Q2492185) (← links)
- Phenomenology of choice sequences (Q2703586) (← links)
- (Q4513578) (← links)
- (Q4681367) (← links)
- Monoidal-closed categories of tree automata (Q5220183) (← links)
- On the reification of semantic linearity (Q5741580) (← links)
- On the symmetry of sequentiality (Q5890040) (← links)
- Admissible generalisation of temporal sequences as chronicles (Q6060998) (← links)