TY  - RPRT
TI  - Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
AU  - Alex C. Keizer
AU  - Henning Basold
AU  - Jorge A. Pérez
PY  - 2020
UR  - https://arxiv.org/abs/2011.05712
ID  - 2011.05712
ER  -