Realizability in weak systems of explicit mathematics

TitleRealizability in weak systems of explicit mathematics
Publication TypeJournal Article
Year of Publication2011
AuthorsSpescha, D, Strahm, T
JournalMathematical Logic Quarterly
Volume57
Issue6
Pagination551-565
URLhttp://www.iam.unibe.ch/ltgpub/2011/ss11.pdf