A short note on type-inhabitation: Formula-trees vs. game semantics
| Title | A short note on type-inhabitation: Formula-trees vs. game semantics |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Sandra Alves and Sabine Broda |
| Journal | Information Processing Letters |
| Volume | 115 |
| Pages | 908–911 |
| Issue | 11 |
| Month of Publish | November |
| Notes | available online on 14 May 2015 |
| DOI | 10.1016/j.ipl.2015.05.004 |