activity
20102024
most citedInteractive Learning-Based Realizability for Heyting Arithmetic with EM1

43 citations · 72 across the 14 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.LO2018

Proceedings Seventh International Workshop on Classical Logic and Computation

Stefano Berardi, Alexandre Miquel

This special issue cover the seventh and last conference of the CL&C series, started in 2006 in San Servolo. Topics are the computational content of logics between intuitionistic l…