Book chapters details

Certifying Data in Multiparty Session Types

Mar 2016

Book title: A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Publisher: Springer

Authors: Bernardo Toninho, Nobuko Yoshida

Editors: Sam Lindley, Conor McBride, Phil Trinder, Don Sannella

Edition:

Series: Lecture Notes in Computer Science

Volume: 9600

ISBN:

Url:

Notes:

Bibtex Key:

DOI:

Pages: 433 to 458

Publication Date: 25 Mar 2016

Publication File: