Todd Waugh Ambridge | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Dan R. Ghica
12 publications
Koko Muroya
5 publications

research

∙ 06/23/2020

A Constructive, Type-Theoretic Approach to Regression via Global Optimisation

We examine the connections between deterministic, complete, and general ...

0 Dan R. Ghica, et al. ∙

research

∙ 07/02/2019

Local Reasoning for Robust Observational Equivalence

We propose a new core calculus for programming languages with effects, i...

0 Dan R. Ghica, et al. ∙