bibtex

@inproceedings{Rie3,
    title = { Extracting Herbrand Trees in Classical Realizability using Forcing },
    author = {Rieg, Lionel},
    year = {2013},
    booktitle = {Computer Science Logic (CSL)},
    pages = {597--614},
    publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
    series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    volume = {23},
    team = {ENS de Lyon, Other},
}

URL

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.28 + AHUNTSIC [CC License]

info visites 1169493