Similar Items: Type-based Self-stabilisation for Computational Fields
- Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields
- Exhaustible sets in higher-type computation
- Global semantic typing for inductive and coinductive computing
- A full belly counsels well: More stabilisation with more responsibility
- Rapid Genetic Stabilisation of Transgenic and Edited Wheat Through Transformation of Immature Haploid Embryos
- Extending Mean-Field Variational Inference via Entropic Regularization: Theory and Computation