Katalin Bimbó, J. Michael Dunn. Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus ${LT_\to^{t}}$ for Implicational Ticket Entailment. Logica Universalis, 8(2):141-164, 2014. [doi]
@article{BimboD14,
title = {Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus ${LT_\to^{t}}$ for Implicational Ticket Entailment},
author = {Katalin Bimbó and J. Michael Dunn},
year = {2014},
doi = {10.1007/s11787-014-0099-z},
url = {http://dx.doi.org/10.1007/s11787-014-0099-z},
researchr = {https://researchr.org/publication/BimboD14},
cites = {0},
citedby = {0},
journal = {Logica Universalis},
volume = {8},
number = {2},
pages = {141-164},
}