Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2006.12868
Cited By
A Constructive, Type-Theoretic Approach to Regression via Global Optimisation
23 June 2020
D. Ghica
Todd Waugh Ambridge
Re-assign community
ArXiv
PDF
HTML
Papers citing
"A Constructive, Type-Theoretic Approach to Regression via Global Optimisation"
Title
No papers
