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

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

23 June 2020

Todd Waugh Ambridge

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

Title
No papers