Login / Signup

Learning based realizability for HA + EM1 and 1-Backtracking games: Soundness and completeness.

Federico Aschieri
Published in: Ann. Pure Appl. Log. (2013)
Keyphrases