Certifying Data in Multiparty Session Types

Bernardo Toninho, Nobuko Yoshida, Sam Lindley, Conor McBride, Phil Trinder, Don Sannella,

Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	9600
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	9600

Publication