@misc{indiciae1a661e5412a9, title = {On the characterization of models of H*: The semantical aspect}, author = {Flavien Breuvart}, year = {2016}, doi = {10.2168/lmcs-12(2:4)2016}, url = {https://arxiv.org/abs/1603.07259}, note = {Source identifier: 1603.07259} }