Bibtex de la publication

@InProceedings{ So2017.4,
author = {Luo, Zhaohui and Soloviev, Sergei},
title = "{Dependent Event Types (regular paper)}",
booktitle = "{International Workshop Logic, Language, Information, and Computation (WoLLIC), London, 18/07/2017-21/07/2017}",
editor = {de Queiroz, Ruy and Kennedy, Juliette},
year = {2017},
publisher = {Springer-Verlag},
address = {http://www.springerlink.com/},
volume = {10388},
series = {LNCS},
pages = {1--13},
language = {anglais},
keywords = {dependent types, coercive subtyping, Davidson semantics, event types, event quantification problem}
}