Type safety without subject reduction for session types

TitleType safety without subject reduction for session types
Publication TypeConference Paper
Year of Publication2010
AuthorsVasconcelos, V. T., M. Giunti, N. Yoshida, and K. Honda
Conference NameUNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE