@inproceedings{pogodalla:inria-00281381, TITLE = {{Exploring a type-theoretic approach to accessibility constraint modelling}}, AUTHOR = {Pogodalla, Sylvain}, URL = {https://inria.hal.science/inria-00281381}, BOOKTITLE = {{Journ{\'e}es S{\'e}mantiques et Mod{\'e}lisation}}, ADDRESS = {Toulouse, France}, YEAR = {2008}, MONTH = Apr, KEYWORDS = {Formal semantics ; discourse ; anaphora ; DRT ; SDRT}, PDF = {https://inria.hal.science/inria-00281381/file/montague-sdrt.pdf}, HAL_ID = {inria-00281381}, HAL_VERSION = {v1}, }