22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia

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},
}