Silvia Ghilezan, Herman Geuvers, Jelena Ivetic, editors, 22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia. Volume 97 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
Conference: TYPES2018
@proceedings{types-2016, title = {22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia}, year = {2018}, url = {http://www.dagstuhl.de/dagpub/978-3-95977-065-1}, researchr = {https://researchr.org/publication/types-2016}, cites = {0}, citedby = {0}, booktitle = {22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia}, conference = {TYPES}, editor = {Silvia Ghilezan and Herman Geuvers and Jelena Ivetic}, volume = {97}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, isbn = {978-3-95977-065-1}, }