Extracting Herbrand trees in classical realizability using forcing - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Lionel Rieg. Extracting Herbrand trees in classical realizability using forcing. In Simona Ronchi Della Rocca, editor, Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy. Volume 23 of LIPIcs, pages 597-614, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]

The following publications are possibly variants of this publication:

On Forcing and Classical Realizability. (Forcing et réalisabilité classique)Lionel Rieg. PhD thesis, École normale supérieure de Lyon, France, 2014. [doi]

runs on WebDSL