Nobuko Yoshida
AuthID: R-00M-0C5
11
TITLE: Certifying Data in Multiparty Session Types
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, VOLUME: 9600
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, VOLUME: 9600