Skip to main content
Kent Academic Repository
Simple search | Advanced search

Browse by Publisher

[up] Up a level
Group by: Item Type | Date | No Grouping
Jump to: Preprint
Number of items: 1.

Preprint

Hughes, Jack and Vollmer, Michael and Orchard, Dominic A. (2021) Deriving Distributive Laws for Graded Linear Types. [Preprint] (doi:10.4204/EPTCS.353.6) (KAR id:115287)
Format: PDF
This list was generated on Sat Sep 12 07:42:19 2026 BST.
SensusAccess
Feedback