EXPLORE THE UNIVERSITY OF OXFORD'S WORLD-CLASS RESEARCH

Members of the University of Oxford can deposit a wide range of research to ORA including articles, conference papers, theses and data.

• DEPOSIT

• A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
• Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
• Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras
• Linear usage of state
• Validity of KineFeet for Assessing Medial Longitudinal Arch Deformation During Gait in Individuals with Flat and Non–Flat Feet