Realizability in weak systems of explicit mathematics
| Title | Realizability in weak systems of explicit mathematics |
| Publication Type | Journal Article |
| Year of Publication | 2011 |
| Authors | Spescha, D, Strahm T |
| Journal | Mathematical Logic Quarterly |
| Volume | 57 |
| Issue | 6 |
| Pagination | 551-565 |
| URL | http://www.iam.unibe.ch/ltgpub/2011/ss11.pdf |
| Citation Key | ss11 |
