Cables, Trains and Types
Attributed to:
From Data Types to Session Types---A Basis for Concurrency and Distribution
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-41103-9_1
Publication URI: http://dx.doi.org/10.1007/978-3-030-41103-9_1
Type: Book Chapter
Book Title: From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement (2020)
Page Reference: 3-16
ISSN: 2047-2501