@misc{Yoshida:2019, author = {Yoshida, N and Castro, D and Ferreira, F}, title = {EMTST - Engineering Meta-theory of Session Types}, type = {Software}, year = {2019} }
TY - GEN AB - A Coq library to implement and reason about Session types. Together with a subject reduction for binary session types. AU - Yoshida,N AU - Castro,D AU - Ferreira,F PY - 2019/// TI - EMTST - Engineering Meta-theory of Session Types ER -