scientific article; zbMATH DE number 7393564

zbMath1471.68100arXiv1309.1255MaRDI QIDQ4957788

Giovanni Birolo

Publication date: 9 September 2021

Full work available at URL: https://arxiv.org/abs/1309.1255

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Computational learning theory (68Q32) Convex sets in (2) dimensions (including convex curves) (52A10) Metamathematics of constructive systems (03F50)

Cites Work

• Constructivism in mathematics. An introduction. Volume II
• Interactive Learning-Based Realizability for Heyting Arithmetic with EM1
• A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract)

This page was built for publication: