@inproceedings{b2b28d3d57f54e1c8268deb79a335858,
title = "Binary Session Types for Psi-Calculi",
author = "Hans Huttel",
year = "2016",
month = oct,
day = "31",
doi = "10.1007/978-3-319-47958-3_6",
language = "English",
isbn = "978-3-319-47957-6",
series = "Lecture Notes in Computer Science",
publisher = "Physica-Verlag",
pages = "96--115",
editor = "Atsushi Igarashi",
booktitle = "Programming Languages and Systems",
note = "Asian Symposium on Programming Languages and Systems ; Conference date: 21-11-2016 Through 23-11-2016",
}