The following pages link to A stable programming language (Q2492185):
Displaying 7 items.
- A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (Q3540183) (← links)
- A Relational Model of a Parallel and Non-deterministic λ-Calculus (Q3605523) (← links)
- A Process-Model for Linear Programs (Q3638259) (← links)
- (Q5018491) (← links)
- On the reification of semantic linearity (Q5741580) (← links)
